Darboux is usually lumped in as a case of Riemann, which is a somewhat generalized concept after all. If you know f is continuous, then you can just take left endpoints and equal width intervals, as far as the limit is concerned, but it has to be proved that the choices don't matter. As far as arbitrary partitions go, insisting on equal spacing could make it annoying to prove that you can split up integrals from 1 to e and then e to pi, for example. By the time you justify the validity of uniform steps, you have already considered arbitrary partitions as the max width goes to zero, and may as well have allowed them from the start. It's a lot of fine print but if f is continuous, uniform intervals and left endpoints go brrrr.
@SeanRaleigh3 ай бұрын
I didn't know about the Itô integral, so I learned something new today. Nice!
@fdileo3 ай бұрын
How to explain integral calculus in 12 minutes... You nailed it perfectly!
@jamescollier33 ай бұрын
1 ☑️ 2 ☑️ 3 what 😱
@jamiepianist3 ай бұрын
I'm so interested in Itô integrals now, Dr. Sean is the GOAT
@kindreddarkness3 ай бұрын
You are a fantastic teacher. I am new to calculus, and have really wondered why we would need more than a "general integral." This video not only answered the question, but also justified what the hell derivatives are actually measuring (and why we bother taking them). Thank you.
@alexbstl3 ай бұрын
Re: peeking into the future, that’s not entirely true. The Stratonovich Integral (midpoint rule) is also an adapted process (meaning it can’t see the future) and even results in the standard chain rule when taken in differential form. The real reason people use an Ito integral is that it is a martingale. Admittedly, this is a bit technical.
@nitroemi3 ай бұрын
Just a small correction. Ito integrals are martingales under the additional (square integrability) condition, but in general, stochastic integrals with respect to martingales (e.g. Brownian motion) are only local martingales rather than true martingales. But like you said, it is a bit technical.
@harriehausenman86233 ай бұрын
Brilliant video!👍 Exactly the right amount of depth for me 🤗 Thanks for putting effort into the production and having great audio and video, and double thanks for not using negatively biased graphics. 🙏
@DrSeanGroathouse3 ай бұрын
Thanks so much! I'm glad you liked it
@jesuseduardobanosgonzalez81163 ай бұрын
Woah, I am astounded by how easy to understand you made the concepts of the more complicated integrals!
@harriehausenman86233 ай бұрын
And I am astounded how arbitrarily complicated it can be presented by some teachers. 😋
@awesomesam1013 ай бұрын
Great video, but at 9:55 it's more correct to say that we get an irrational number *almost* every time (i.e. with probability one, but it's still technically possible to get a rational number).
@DistortedV123 ай бұрын
A probability of 1 means quite literally every time
@thezerothandtheinfinite3 ай бұрын
@@DistortedV12 not necessarily, if you have infinite options. if you choose a random integer, the probability of not getting 7 is 1, but you can still get 7
@harriehausenman86233 ай бұрын
nah, i don't think that's right.
@DrSeanGroathouse3 ай бұрын
Right! Thanks for your comment. I was thinking of sampling X_1, X_2, X_3, ... and meant that we'll see an irrational number each of these times, even if we keep sampling forever (countably infinitely many times). The union of countably many probability 0 events still has probability 0. But if we have uncountably many uniform random variables, then we may indeed get some rational numbers! We'll get irrational numbers almost every time.
@awesomesam1013 ай бұрын
@@DrSeanGroathouse Unfortunately I still think that's an incorrect interpretation of the probability here. Even if you only sample one point, it's still possible to get a rational number, for the simple reason that rational elements exist in the set [0, 1]. It would have probability 0, like you say, but probability 0 doesn't equate with impossibility. Another way to think about it: we agree that the probability of choosing any individual number from [0, 1] is 0. If probability 0 implied impossible, then this would mean that it would be impossible to select any element in the set!
@jdp99943 ай бұрын
Thank you. Very nice to see this info being simply explained. In the Ito integral, it's interesting how 2nd order terms are important (in a standard deviation sense) because of the nature of the random process, whereas in the other types of integration presented the 2nd order terms are considered insignificant (zero). Would have been nice (a luxury) to include the Generalized Riemann Integral (uses a different type of partitioning).
@Cpt.Zenobia3 ай бұрын
Love the visualizations always makes it easier.
@harjooni3 ай бұрын
If I'm not mistaken, by "random process" you mean a stochastic process, i.e. a random variable with an index number (often, though not always, interpreted as time) attached? In the case you showed, the index number has an interpretable direction so talking about it as time is meaningful and some authors would call the process causal. But what happens if we give up on the causality assumption (as some do in time series analysis, though that is in discrete time) and let the "future" (i.e. events with a high index number) affect "today"? Is the Ito integral still valid?
@juandavidrodriguezcastillo91903 ай бұрын
In Spanish we have an expression for this kind of visual enjoy, esto es cine chavales
@inventorbrothers70533 ай бұрын
Thanks for sharing 😁
@lokmanboujaadiallizati44662 ай бұрын
Oye tío, ¿Tortilla de patatas con o sin cebolla?
@ennyiszizlak71313 ай бұрын
Hi Dr Sean! The video was very insighftul and easy to comprehend. Thank you very much for your work. I am looking forward to lean more maths in an MBA program than in my undergrad in finance. I was wondering about what measury theory is and how brownian is relevant to stohastic analysis. Thanks again, looking forward for more videos in the future :)
@ethanfletcher96353 ай бұрын
Expectation values in quantum mechanics makes so much more sense now
@oafkad3 ай бұрын
It's interesting to think the first insane idea I'd have for measuring the curve (butt ton of rectangles) ends up being pretty close to what smart folks do. Life is so strange and interesting.
@VeteranVandal3 ай бұрын
Incredibly enough, I knew all of them. I need to learn #4 for real tho.
@redknight344Ай бұрын
awesome video thank you very much for showing this is a manner so simple yet so complete!
@Galinaceo03 ай бұрын
Maybe could have elaborated more why in measure theory we only consider countable sums, not bigger sums than that. I think a beginner watching the video would have wondered: then why isn't the measure of [0,1] 0 since the sum of the measures of all its elements is 0.
@mukynas3 ай бұрын
TIL our teacher at uni actualy taught us the Darboux integral
@taranmellacheruvu25042 ай бұрын
I’d just like to say on thing regarding Itô integrals: one of the reasons it’s mathematically tricky to work with is that you’re integrating wrt a fractal function (Brownian motion is a fractal) meaning that you can’t really make your partitions infinitely thin in the same way as Riemann integrals. This results in some interesting rules regarding differentials
@ChainWasp3 ай бұрын
That's what I study. Super interesting. Hope I get some work after my degree
@rudraksh1112 ай бұрын
You lost me bro in this one , the context was all over the place since you cramed such a giant topic in under 12 mins😅😅 to learn from this video I need to learn a 72 hours integration class separately 😂😂
@oxydoreduction24833 ай бұрын
Isn't the Îto integral simply a lebesgue integral where you integrate with respect to a probability measure instead of the lebesgue measure ? It would be more rigourous that way
@hishan.farfan23 күн бұрын
amazing explanation! 🙌
@ikhouvandewii23 ай бұрын
You deserve way more subscribers
@harriehausenman86233 ай бұрын
So true.
@fightocondria3 ай бұрын
Define a process for generating a random number that takes less than infinite time which can demonstrate only irrational numbers. Also, can you go into further depth on the higher level integrals?
@gdclemo3 ай бұрын
use a process that generates only rational numbers then add pi
@fightocondria3 ай бұрын
@@gdclemo I guess rationals and irrationsals are of the same cardinality then
@gdclemo3 ай бұрын
@@fightocondria Nope. You didn't say it should generate ALL the irrationals, but that it should only generate irrationals.
@somezw2 ай бұрын
Excellent video, but I would like to point out that at 6:42 the distribution function should be right-continuous as it is a property of all cdfs
@Kilgorebass724 күн бұрын
Great channel, smarter than your average ur-sine🎉
@alexdotdash77313 ай бұрын
Amazing video!
@marcomenarini37073 ай бұрын
Would you also be able to cover the Stratonovich integral? (that can be equivalent to the Ito with some manipulation and more useful in physical processes)
@DrSeanGroathouse3 ай бұрын
Thanks for the idea! I added it to my list for future videos
@skvttlez12633 ай бұрын
i understood approximately 1.4 of these integrals
@harriehausenman86233 ай бұрын
At least you are rational about it. 🤭
@daGama19153 ай бұрын
7:01 "Let us look into an integral that is often only seen in grad school" Undergrad physics students having to learn it to actually do the maths of Quantum Mechanics (I know we can do without it, but still it is needed to do it correctly)
@oke54033 ай бұрын
it's also in any pure maths undergrad, in europe anyways
@daGama19153 ай бұрын
@@oke5403 I don't think pure math students were forced to learn it in my country (Brazil), but I know your pain
@patriziosommatinese18203 ай бұрын
In Germany, the Lebesgue integral was first year stuff. From my perspective, the jump from Lebesgue to Ito was quite harsh. While the first three were all part of the first semester course for me, the last one I encountered just in my Phd studies.
@daGama19153 ай бұрын
@@patriziosommatinese1820 Damn, Lebesgue at the first year would be a little too much for me, at least depending on how rigorous was required. Itou integral I'll have to learn now in my masters degree because I'm working with a stochastic model
@cesareangeli66533 ай бұрын
Here in Italy, it's second year stuff for mathematicians and, in less depth, for physicists.
@eastlake033 ай бұрын
shouldn't the CDF be right-continuous? (@6:40)
@royshoukrun85563 ай бұрын
gl with your channel , very nice video :)
@DrSeanGroathouse3 ай бұрын
Thanks so much!
@somerandomuserfromootooob3 ай бұрын
Then what did Newton cook about integrals?
@obansrinathan2 ай бұрын
Newton and Leibniz got ideas about change and little bits down, but did not establish a formal rigorous foundation.
@fluffymassacre29183 ай бұрын
Great work
@DrSeanGroathouse3 ай бұрын
Thanks! I'm glad you liked it
@rajibali46432 ай бұрын
Need for videos on it0 integral
@DepressedMusicEnjoyer3 ай бұрын
I am confused about because one p=0 sum will be 0, wouldn’t it be 0 for each irrational number too so then 0 either is chosen
@harriehausenman86233 ай бұрын
I image it comes from irrationals being uncountably infinite.
@DistortedV123 ай бұрын
Grear video man
@bryanmoreno6263 ай бұрын
9:45 ngl I'm kind of dissappointed the integral is equals 0. Great explanation by the way 🙌
@dullyvampir833 ай бұрын
I really have trouble understanding the Itô integral. Is this meant for a fixed small omega, so the value is not well defined, but things like Expected Value and Varianz are?
@oxydoreduction24833 ай бұрын
What isn't said in this video is that you can integrate any "measureable function" (ie a function for which the inverse image is "smooth" enough) with respect to any measure. Normal integrals like Riemann's are just integrals with respect to the lebesgue measure, but there are many more measures one can use. For example, if you integrate a function with respect to the counting measure, you get a series. Probability measures can also be used, and as a random variable is just a measurable function, you can integrate it with respect to the probability measure, and it gives you its expected value : E(X)=∫X(𝝎)dP(𝝎).
@shrayanpramanik89853 ай бұрын
Really? Our prof taught us Riemann-Stieltjes Integration in our first year of college.
@TheTinyDiamond3 ай бұрын
I'm incredibly confused by the explanation for the Lebesgue integral. Even if there are countably-infinite rational numbers and uncountably-infinite many irrationals (eg. 0.1010010001..., 0.2010010001..., 0.1020010001...) over [0,1], how can we have P(rational)=0? Is it based on lim(P(rational)) or something bc of (countable-inf➗uncountable-inf)? In any case, how can an "irrational every time" result be valid when there's a nonzero probability you choose, say, 0.5 if you're pulling any real number over [0,1]? (because, obviously, [0,1] contains 0.5)
@dubvascl58403 ай бұрын
Probability being zero does not mean something is impossible in non discrete cases. Imagine you have a uniform distibution. If you imagine probability of one point be bigger than 0, lets say some x > 0, then, because disribution is uniform, you would have probability of any other point also be x, but there are infinitely many points, so total probability wont add up to 1. If you are interested check measure theory courses
@pietroghsvf3 ай бұрын
The example in the video is the Dirichlet function, there are many videos that go into it. But the idea is that since in the real number line there are uncountably infinite numbers between 0 and 1, but only countable infinite rational numbers, the density of rational numbers between 0-1 is infinitely smaller (the so called measure μ), and they are overwhelmed by the amount of irrational numbers. The total Lebesque integral will be: 1*μ(rational) + 0*μ(irrational) = 1*0 + 0*1 = 0
@TheTinyDiamond3 ай бұрын
@@dubvascl5840 Hmm okay. That's counterintuitive but I suppose I've got a reading list now. (Since I realize I didn't mention it before), I've only been up through a calc 2 course, does measure theory rely on much/anything beyond about that level?
@dubvascl58403 ай бұрын
@@TheTinyDiamond I dont know system of courses in US, but it should not. I my university i had Lebesgue integral at the end of 2 semester
@bcs17933 ай бұрын
The Lebesgue integral is constructed by extending a measure from the intervals to many other subsets of the real numbers (although not all, which is precisely why measure theory exists). This measure gives the interval (a,b) measure b-a. If you fix a point x, you can see that {x} is a subset of (x-epsilon,x+epsilon) for any epsilon larger than zero. But the measure of this interval is 2*epsilon. So the measure of {x} has to be less than 2* epsilon for any epsilon larger than zero - so it must be zero. The measure of a countably infinite set is just the sum of the measures of its points, which in this case is just zero. So the measure of the rationals is zero. But since there are uncountably many irrationals, you cannot apply the same logic.
@castagnos5093 ай бұрын
you forgot the Kurzweil Henstock integral
@user-ox4ii2bw6x3 ай бұрын
Can we get a video on elementary and non elementary functions? :3
@DrSeanGroathouse3 ай бұрын
Thanks for the idea! I added it to my list for future videos
@samueldeandrade85353 ай бұрын
3:43 this is true only for some well behaved functions. Because we can easily take Riemann integrable functions take have NO infimum or supremum around a point or some points.
@leolrg27833 ай бұрын
that is inprope integral
@samueldeandrade85353 ай бұрын
@@leolrg2783 hummm. It doesn't matter. What I am saying is about the equivalence between Riemann and Darboux integrals. I am pretty sure this equivalence only works for functions that have sup in any interval of their domain, while Riemann integral will work for some functions that don't.
@leolrg27833 ай бұрын
@@samueldeandrade8535 No. A function is rieman integrable then it must be bounded, so that sup exists.
@samueldeandrade85353 ай бұрын
@@leolrg2783 not true. Riemann integrable functions need to be bounded almost everywhere. For example, the function F(x) := 1/x, if x is rational, F(x) := 0, otherwise, is Riemann integrable, but NOT bounded.
@samueldeandrade85353 ай бұрын
@@leolrg2783 what you are saying is valid IF the function is continuous. If the function is NOT continuous, it may be valid or not.
@manuelosuna15623 ай бұрын
Hmm that's weird, I am an undergrad and have seen up to the Lebesgue Integral. The Itô Integral should be the one seen in graduate school.
@_basile3 ай бұрын
so basically rectangles
@michaelodekunle65913 ай бұрын
Stupid question. How is the probability that we pick a rational number 0 when 1/2, for example, is rational and is an element of [0,1]. 9:45
@michaelodekunle65913 ай бұрын
Same with 1/3. Is it that these rational numbers are so greatly outnumbered that the possibility of picking one is negligible. Still, in precise math, I would still expect it to be non-zero. If someone could explain, I would be grateful.
@ratpackenterprises16073 ай бұрын
@@michaelodekunle6591 The probability of an event being 0 does not mean the event is impossible. That's the "tl;dr" of it. An event can be possible and have probability 0 of occurring, as you've pointed out, when the sample space is infinite.
@harriehausenman86233 ай бұрын
I think it has to do with the different countabilites, but not sure.
@inyomansetiasa3 ай бұрын
Hello
@atrelativeposition3 ай бұрын
hi
@AC-tn4it3 ай бұрын
You have to gatekeep ito!!!!
@harriehausenman86233 ай бұрын
Itô for the masses? Blasphemy! 😆
@indra84393 ай бұрын
is Monte Carlo integration mentioned?
@unvergebeneid3 ай бұрын
Pretty sure it's "Darboo", not "Darboh". At least if we're assuming the name is French.
@accaciagame17063 ай бұрын
They are always either French or German in mathematics, especially high level maths. LOL
@methatis30133 ай бұрын
@@accaciagame1706 maybe 100 years ago. But in modern mathematics you have people like Nash, Turing, Conway and Feynman
@accaciagame17063 ай бұрын
@methatis3013 If we exclude New Zealand which has a tiny population, France still has the highest Fields medal per capita and the second net highest winners after the US. The French are unusually good mathematicians even to this day. Nash wasn't that good a mathematician. He just came across a very useful but simple Game theory concept. No where in the league of Newton, Poincarre, Euler etc.
@unvergebeneid3 ай бұрын
@@methatis3013 nobody's saying English-speaking people are bad at maths. Only bad at even _trying_ to pronounce foreign names correctly. Not that the French are any better. Maybe it's a type of ignorance born of their colonial history, dunno.
@jessstuart74953 ай бұрын
Unpopular Opinion: The idea that you can "pick" a number that requires an infinite number of steps (digits) to describe seems dubious to me. Not having infinite precision always gives you some uncertainty about any representation of an irrational value. An infinite process that is used to calculate digits, run for an infinite amount of time, is not the same thing as a point on the number line.
@InternetCrusader-rb7ls3 ай бұрын
Gee I wonder what 1/3 means
@erikhicks61843 ай бұрын
Realistically, there is uncertainty in everything. Exact values only exist as mathematical concepts. Tell me, do you think it's possible to cut a 2x4 to exactly 3.5 feet?
@yellows56853 ай бұрын
@@InternetCrusader-rb7lsexactly, some numbers only have infinite decimals because of our number system,
@harriehausenman86233 ай бұрын
A wild Axiom Of Choice appeared! 😄
@AdoptedPoo3 ай бұрын
ito calculus is used in financial mathematics to find solutions to Stochastic differential equations.
@LukaszLew13 ай бұрын
I'm surprised that Henstock-Kurzweil integral is not here :) en.wikipedia.org/wiki/Henstock%E2%80%93Kurzweil_integral
@juandavidrodriguezcastillo91903 ай бұрын
In Spanish we have an expression for this kind of visual enjoy, esto es cine chavales