Hyperreal Numbers: An Introduction to Infinitesimals and Nonstandard Analysis

Поділитися
Вставка
  • Опубліковано 13 гру 2024

КОМЕНТАРІ • 58

  • @Yulenka-
    @Yulenka- 6 місяців тому +1

    Thank you so much for this video! Even though I haven't touched algebra in years, it managed to pick me up right where I was, brush up my knowledge just minimally, and walk me past the edge, teaching me what I didn't know without leaving me behind. This is how all educational videos should be structured, paced, and produced! hats off

  • @spin7765
    @spin7765 Рік тому +3

    Excelent video, veru concise, just what I needed. Thanks!

  • @decare696
    @decare696 3 роки тому +3

    I especially liked how well you explained the transfer principle. I hadn't quite understood it previously, but now it is clear as day.

  • @algebraicoo
    @algebraicoo 8 місяців тому +2

    Genious

  • @RSLT
    @RSLT 5 місяців тому

    Very good video. I enjoyed watching it. I like the simple and straightforward layout and construction of it.

  • @andyw3683
    @andyw3683 Рік тому +1

    Even though this is probably way above what I've learned, you made this comprehendible. Thank you.

  • @davidalexander4505
    @davidalexander4505 5 років тому +12

    This was brilliant, bravo!!

  • @christiancunzeman1460
    @christiancunzeman1460 5 років тому +6

    Absolute banger video mate.

  • @DarkestValar
    @DarkestValar 4 роки тому +15

    10:08 That plot twist tho.

  • @agranero6
    @agranero6 Рік тому +6

    Thanks: you are one of the few videos about non-standard analysis that was not made by a crackpot claiming to be a genius that calls Cantor an idiot, was not made by an AI that puts images of hands that seem to be from an alien transmorph, with elephants with two trunks and a picture person that does not exist presented as Abraham Robinson. That few other remaining are from sets of filmed classes or in other languages as Turkish and Italian (that seem interesting but unfortunately I can't understand).

    • @blargoner
      @blargoner  Рік тому

      Thanks! I think one of the crackpots was very unhappy with my video. The AI ones sound trippy.

  • @willostrand6555
    @willostrand6555 Рік тому +2

    I think I understand. Is it essentially like modular arithmetic where you’re saying “25 = 1 + 2*12 but I’m ignoring 2*12 in Z/Z12 because multiples of 12 are identified as 0 so 25=1” but instead what you identify with zero is a really big or really small thing? Also great video it’s been a little over a year since I’ve seen anything near this level of algebra so I have cobwebs but this honestly helped me understand things I never understood before like ideals never really stuck with me very well but somehow the way you talked about them made them make much more sense to me

  • @abhijeetmulgund5266
    @abhijeetmulgund5266 4 роки тому +7

    Thank you so much! This video was perfect!

  • @AJ-et3vf
    @AJ-et3vf 2 роки тому +1

    great video! Thank you!

  • @eonasjohn
    @eonasjohn Рік тому +1

    Thank you for the video.

  • @garfungled7093
    @garfungled7093 Рік тому

    fantastic video

  • @lcfrod
    @lcfrod 5 років тому +4

    Amazing explanation!!. Thank you so much.

  • @scollyer.tuition
    @scollyer.tuition 3 роки тому +4

    Pretty nice. I almost got the feeling that I could understand infinitesimals properly if I watched the video a few times. But I can't say I have much intuition for the ultafilter defn - why should the intersection of two "very large" sets be "very large" - it would be easy to come up with two subsets of R, say, that differ from R by a set of measure zero, but whose intersection is empty, for example.
    One question though: you use the expression "almost all" several times, but I don't think that you defined it - in what sense is it being used here? In some measure-theoretic way, or what?

    • @blargoner
      @blargoner  3 роки тому +1

      In this context, "almost all" n just means for all n lying in some set belonging to the free ultrafilter. I must have done the world's worst job making that clear as it seems several viewers have been confused by this.

    • @wargreymon2024
      @wargreymon2024 Рік тому +1

      It is crucial to explain the ultrafilter, which is bizarre. Anyway, i think you have made the topic clearer like no other.

  • @NoNTr1v1aL
    @NoNTr1v1aL 5 років тому +4

    Amazing video!

  • @diegobellani
    @diegobellani 5 років тому +3

    Great video!
    I would love to see more videos like this.

  • @markusklyver6277
    @markusklyver6277 8 місяців тому +1

    I have never understood why S cap T belonged to to the ultrafilter. It makes sense to re-write it as S cup T minus the symmetric difference, and of course the symmetric difference ought to be a small set.

  • @vectorshift401
    @vectorshift401 5 років тому +5

    Are infinitesimals related to the undecidability of the continuum hypothesis? Does it represent a set in-between countable and continuum?

    • @blargoner
      @blargoner  5 років тому +8

      No, there are continuum many infinitesimals. However, there are interesting connections to CH. For example, if you assume CH, then *R is unique up to isomorphism.

    • @tomkerruish2982
      @tomkerruish2982 3 роки тому +1

      You're in good company. According to John Conway (I think it's mentioned in his biography), Kurt Gödel once stated that the "correct" theory of infinitesimals could help decide the Continuum Hypothesis. After Conway discovered the surreals, he visited Gödel, who agreed that they were indeed the correct theory of infinitesimals, but that he (Gödel) had been wrong about their utility in this regard and did not remember making his previous statement.

  • @alannrosas2543
    @alannrosas2543 3 роки тому +2

    Shouldn’t the definition of an infinitesimal number, given at 19:26, include the restriction |a| > 0? Without this restriction, it seems like we can assert that 0 is infinitesimal, which seems unintuitive.
    Awesome video by the way :)

    • @blargoner
      @blargoner  3 роки тому +4

      Under this definition, zero is infinitesimal. This provides some algebraic benefits. We require an infinitesimal to be nonzero when needed.

  • @seanskinner1672
    @seanskinner1672 3 роки тому +1

    Thanks, terrifically paced.

  • @AbuSayed-er9vs
    @AbuSayed-er9vs 5 років тому +3

    Awesome math videos!!!Plz plz continue to make more...🙂

  • @wyboo2019
    @wyboo2019 Рік тому

    i think i prefer the surreal numbers to the hyperreals. maybe it's just conway, but the construction of the surreals seems a lot more intuitive but also contains all of the hyperreals within it

  • @aziz0x00
    @aziz0x00 Рік тому +2

    "In other words, Leibniz has been vindicated!"

  • @allyourcode
    @allyourcode 3 роки тому +1

    @14:09 I don't understand part of this slide. I thought we identified "eventually zero" sequences with zero (i.e. the sequence of all zeros). That does not seem to be the same thing as "all sequences that are 'almost all' zero" though (as stated in this slide). E.g. the following would be a sequence that is almost all zero, but never eventually becomes all zero:
    1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 ...
    Why switch from saying "eventually zero" to "almost all zero"? Did we just grow M to make it a maximal ideal?? I thought "eventually zero" was already maximal?

    • @blargoner
      @blargoner  3 роки тому +1

      We chose a maximal ideal M which contains the eventually zero sequences, but it contains other sequences as well. Whether or not a particular sequence (like the example you gave) is "almost all" zero depends upon the choice of M. Because the existence of M relies on the axiom of choice, we can't define it explicitly.

  • @roibinia3507
    @roibinia3507 2 роки тому

    Why is the construction independent of the choice of M? There might be a few different maximal ideals containing the eventually 0 sequences.

    • @blargoner
      @blargoner  2 роки тому +1

      It's not. No one said it was.

  • @wargreymon2024
    @wargreymon2024 Рік тому

    How many axioms do you need to calculate 2+3?
    Nonstandard analyst: yes

  • @timpani112
    @timpani112 2 роки тому +2

    Nice presentation! I've been interested in hyperreal numbers for quite a while, particularly for how it makes statements in calculus much more intuitive than the standard formulation due to Cauchy and Weierstrass, etc. Do you think it would make pedagogical sense to switch to a "nonstandard" formulation when teaching calculus to students, or are there some drawbacks to this approach that makes the standard way to teach calculus more desireable? Personally I'm leaning towards the nonstandard analysis approach as the superior one for teaching purposes, but it would be nice to see someone else's perspective on the matter.

    • @blargoner
      @blargoner  2 роки тому

      Good question. There are some textbooks that have tried this, like Jerome Keisler's. While there's definitely intuitive appeal to the approach, I'm not sure whether there might be drawbacks for beginning students. I'd be curious what others think.

    • @friedrichhayek4862
      @friedrichhayek4862 Рік тому +1

      @@blargoner I think that nonstandard calculus must become the standard calculus because it is more rigurous in my view.

    • @willostrand6555
      @willostrand6555 Рік тому

      I mean I studied physics as a major and math as a minor so I have a different perspective. I love algebra but I think it intuitively makes less sense. I struggled so hard to understand it intuitively, but when it clicked I swear everything in math just started to click with me somehow. However I think for high schoolers the level of abstraction needed to understand groups is just too much to ask, while limits and series isn’t terribly hard. I think it would be very interesting though and maybe it would work better, I know plenty of people who just couldn’t comprehend any level of calculus as it is right now

  • @game_in_black9901
    @game_in_black9901 Рік тому

    I have a question how can we compare two hyperreals for instance x = (1 , -1 , 1 , -1 , . . .) and 0 = (0, 0, 0, . . .) how do we know if x is positive ? because { n in N | x_n > 0 } is infinite and { n in N | x_n < 0 } is infinite too. I am confused.

    • @blargoner
      @blargoner  Рік тому

      In general it depends on the free ultrafilter.

    • @game_in_black9901
      @game_in_black9901 Рік тому

      Si how do we construct thé ultrafilter to know which set is inside ?

    • @blargoner
      @blargoner  Рік тому

      You don't explicitly "construct" it, you choose one using the axiom of choice (AC). I'd recommend doing some reading in set theory to understand this better.

  • @tim57243
    @tim57243 8 місяців тому +1

    Should physicists therefore use hyperreals so they actually are saying something when they want to imagine an infinitesimal number dx? It always bothered me when they talk about real numbers that don't exist.
    Can the dirac delta function be defined on the hyperreals so it has integral 1 like it supposed to? Pick an infinite number w, once, and define delta(x)=w if abs(x)

  • @1906Farnsworth
    @1906Farnsworth Рік тому

    It sounds like the Hyperreals are the same as Surreals. Are they different in some way that my pea brane can't fathom?

  • @AlbornozVEVO
    @AlbornozVEVO Рік тому

    it's incredibly Kantian. making time "untimely".

  • @tomkerruish2982
    @tomkerruish2982 3 роки тому

    3:17 To borrow from Douglas Adams, "Ah, this is obviously some strange use of the word love that I wasn't previously aware of."

  • @CharlieYoutubing
    @CharlieYoutubing 4 роки тому +1

    Thanks

  • @DJTrulin
    @DJTrulin 2 роки тому

    Do you ever produce writings that accompany these videos? I would definitely read a white paper on this topic.

    • @blargoner
      @blargoner  2 роки тому +1

      I haven't, but I'm planning to do some writing on linear algebra in the future. I like the constraints of the slide format in that you can't write a lot of text if you're doing it right.

  • @shoopinc
    @shoopinc 4 роки тому +3

    Encore!

  • @aristoclesdialectic
    @aristoclesdialectic 10 місяців тому

    ghosts of departed quantities

  • @ChaineYTXF
    @ChaineYTXF 3 роки тому

    Stop saying l'Hopital, the guy hired Bernoulli do the math work and then stole his work...😁
    Edit: you gained a subscriber by the way😊

    • @blargoner
      @blargoner  3 роки тому +5

      Bernoulli just made a poor business decision.

    • @ChaineYTXF
      @ChaineYTXF 3 роки тому

      @@blargoner ha ha then again, maybe not, I understand that he was payed well and that at some point, the Marquess de L'Hôpital acknowledged that this was not his work

  • @sectorgamma
    @sectorgamma 5 місяців тому +1

    Fantastic video!