Uniform Continuity over Compact Sets

Here we talk about continuity and its connections with compactness. Compactness was first defined around the same time as metric spaces, by Maurice Frechet, and they are more or less a generalization of finite sets. Their interactions with continuous functions have opened up the entire field of functional analysis over the past century, so let's look at the interactions between these important objects.
To try everything Brilliant has to offer-free-for a full 30 days, visit brilliant.org/ThatMathThing/ . The first 200 of you will get 20% off Brilliant’s annual premium subscription.
(This video was sponsored by Brilliant)
//Books
Rudin - amzn.to/3KeL0IC
Dummit and Foote Abstract Algebra amzn.to/3QxGvwN
Folland Real Analysis amzn.to/3dCuCao
Hungerford Algebra amzn.to/3pIJyGV
Pedersen Analysis NOW amzn.to/3c27MZo
//Watch Next
Real Analysis Survival Guide • The Real Analysis Surv...
This is why you have imposter syndrome • This is WHY you have I...
SoME2 Entry • The Mathematics of Rad...
Real Analysis:
How to think of Real Numbers • Intro to Real Analysis...
The Banach Fixed Point Theorem • Fixed Point Iteration ...
The Real Analysis Survival Guide • The Real Analysis Surv...
Control Theory:
The Analyticity of the Laplace transform • Morera's Theorem in Pr...
Introduction to Control Theory • Introduction to Contro...
//Music
Most music provided by Epidemic Sound with the exception of one song by Tom Fox at Johnny Harris' Patreon
Use this referral link to get a 30 day free trial with Epidemic Sound for your KZread channel:
www.epidemicsound.com/referra...
//Recording Equipment
Canon SL3: amzn.to/3nZ11KU
Canon T6i: amzn.to/3FUpkQh
Rode VideoMic: amzn.to/3lhldGa
Blue Yeti Microphone: amzn.to/3I1y88N
Yeti Nano Microphone: amzn.to/3I1mriA
SanDisc 256GB SD Card: amzn.to/3E3LOOr
Neewer 5600K USB LED Lights: amzn.to/3xvB9cN
Neewer 18 inch Ring Light: amzn.to/2ZvgCsc
Camera Power Adapter: amzn.to/3D3upUu
DISCLAIMER: The links above in this description may be affiliate links. If you make a purchase with the links provided I may receive a small commission, but with no additional charge to you :) Thank you for supporting my channel so that I can continue to produce mathematics content for you!
0:00 Start
1:14 Maurice Frechet
1:58 Motivation through Finite Sets
3:36 Brilliant.org Sponsorship
5:37 Continuity via Open Sets
11:01 Continuous Images of Compact Sets
12:51 Uniform Continuity and Heine's Theorem
18:37 Frechet Not Appreciated
19:38 Maximum value on Compact Sets
24:03 Wrap Up

Пікірлер: 16

  • @JoelRosenfeld
    @JoelRosenfeld8 ай бұрын

    To try everything Brilliant has to offer-free-for a full 30 days, visit brilliant.org/ThatMathThing/ . The first 200 of you will get 20% off Brilliant’s annual premium subscription. (This video was sponsored by Brilliant)

  • @siddhikantmishra
    @siddhikantmishra8 ай бұрын

    Thanks for this! I am preparing for my PhD qualifying exams from Rudin. These videos are going a long way in helping me understand the text better. Keep 'em coming!

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    I’m glad to hear it! Good luck!

  • @mmariokart231
    @mmariokart2318 ай бұрын

    It’s gold, these analysis/rudin proofs are the best vids on KZread!!

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    Thank you so much! I’m glad you like them!

  • @zoedesvl4131
    @zoedesvl41318 ай бұрын

    How the term "topological space" was finally coined? I think I get at least 70% right: 1. before the 20th century, mathematicians kinda had some vague idea about topology, and the word topology was explicitly stated in the 1870s. 2. Poincaré spotted the potential and made mathematicians aware of this "thing". 3. Fréchet gave rise to metric space, which I believe was quite new. 4. Hausdorff, when writing his Set Theory book, thought the idea of metric space was good so he tried to generalise that, omitting the consideration of a real function (i.e. metric). Mathematicians were cool with that, but later they found that Hausdorff's definition was too strong (for two points there are two open sets...) so later it was dropped (perhaps by Bourbaki?). But that condition was considered Hausdorff condition for obvious reasons thereafter. 5. Category theory can be originated from algebraic topology. Certainly Fréchet's contribution shouldn't be underappreciated.

  • @Cxlver
    @Cxlver8 ай бұрын

    i love the content. thank you for making the videos

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    I’m glad you like it!

  • @ozymandias4488
    @ozymandias44888 ай бұрын

    Continuity is an incredible concept, good video! I would like to hear your opinion on this or advices. I'm a physics student and starting with analysis on my own to later go for (hopefully) complex and measure theory to have a good sense on what Im doing, the thing is that I don't want to be an expert on the subject and won't take a more advanced notion of analysis, I Just want a good grasp of what is analysis and a good background in the mathematical operations behind the theory, I still can't decide wheter to stay with Bartle, right now I have Baby Rudin, Zorich, Pugh, Tao and Kolmogorov but I can't decide of what serves the best for me, what advice could you give on this? Thanks in advace!

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    Personally, my favorite text is Rudin’s Principles of Mathematical Analysis. But you can’t go wrong with Bartle. Really, what is important is that you pick a book and stick with it. If you have too many texts on the same topic that you are reading through, then every time you get stuck, you’ll be tempted to go looking through your other texts. If you stick with one, then you’ll be forced to work through those difficulties yourself, which will help you in the long run. For a good measure theory book, I really love Folland’s Real Analysis text. He also has a PDE book that you might be interested in, as a physicist.

  • @ashishKjr
    @ashishKjr8 ай бұрын

    At 3:45 you say that Compactness gives us Functional analysis and Measures in a certain way. Is this a reference to Riesz Representation Theorem for measures (the dual of continuous functions on a locally compact Hausdorff space X that vanish at infinity is the Banach space of all regular complex measures on X)?

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    Yep, exactly this. You can manufacture measure theory from functional analysis via the Riesz theorem.

  • @fanalysis6734
    @fanalysis67348 ай бұрын

    I'm not really following the inspiration via finite sets. The image of an arbitrary function on a finite set is finite. The maximum of an arbitrary function on a finite set is finite

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    I probably could have explained that better. Essentially, when analysts work with compact sets, we have in the back of our minds that this is a way to extract some “finiteness.” Finite sets are also compact, but we want to work with more general sets, and the right way to expand the collection of finite sets is through compact sets. Where compact sets still let continuous functions take a largest value. It’s also something we see continued later. By leveraging ideas of compact sets, we can see that Compact Operators are the right extension of Finite Matrices.

  • @NR-ft6cj
    @NR-ft6cj8 ай бұрын

    Wake up babe new Math Thing

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    Haha! Cheers!