An Introduction to Compact Sets

Compact sets are the foundation that modern mathematics is built on, and here we explore their definition and properties. Optimization problems are justified because continuous functions take maximum values on compact sets, our first spaces of functions get magnitudes and distance because of compact sets. And all of this is because Maurice Frechet wanted to generalize the work of Weierstrass.
//Books
Walter Rudin - Principles of Mathematical Analysis 3rd Edition - amzn.to/3MDHUis
Gerald Folland - Real Analysis: Modern Techniques and Their Applications - amzn.to/3JmK6Np
R. Shankar - Principles of Quantum Mechanics - amzn.to/40825xj
Maxwell Rosenlicht - Introduction to Analysis - amzn.to/3NFYiAC
Tom Apostol - Mathematical Analysis 2nd Edition - amzn.to/3mwxFlC
//Exercises
- Prove the product to sum identities for exponentials first for rational numbers then for real numbers.
//Watch Next
The Real Analysis Survival Guide • The Real Analysis Surv...
Mastering the Art of Reading a Proof: By Example • Mastering the Art of R...
Introduction to Control Theory • Introduction to Contro...
//Music Provided by Epidemic Sound
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 Introduction
1:52 ChatGPT still can't math...
4:36 What is a compact set?
6:20 Compact sets are closed
8:32 Prisms are closed
9:20 The Heine Borel Theorem
10:17 Frechet's Definition
10:58 Wrap up

Пікірлер: 47

  • @skepley
    @skepley Жыл бұрын

    Compact sets are my go to example when I'm explaining to math students that math is all about getting the "right" definitions. Definitions can turn someone's PhD dissertation into an undergraduate homework exercise. As usual you somehow manage to explain it so well in such a short video. Great work man.

  • @FeDeRiCo0055
    @FeDeRiCo0055 Жыл бұрын

    This video is great. Your reference to Hausdorff spaces was, in my opinion, brilliant. I had one of my mayor WTF moments when I learn that. I wish my teacher made more of those kind of comments, so one could learn which properties are "more fundamental".

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    I'm glad you liked it! Yeah, when I was reading through Rudin's proof, it struck me that this isn't how I'd prove this in a metric space (I was going to include that but the audio was really bad). When I thought about it, I realized all we were doing was separating points with open neighborhoods, and there is exactly a space defined to do that.

  • @imnimbusy2885
    @imnimbusy2885 Жыл бұрын

    Sets are way cooler than the maths in my school “sets” them out to be. Thanks for the video, I never knew there was a symbol for multiple unions!

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    They really are. I had no idea until I started digging into it.

  • @Cyclonus-fc1xx
    @Cyclonus-fc1xx Жыл бұрын

    It's a great day when you see this channel has uploaded, I see the algorithm has blessed this video more than the last hopefully it continues to do that for future ones this channel really deserves more attention

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    I'm glad you like it! Hopefully, this trend will continue. It's half craft, and half luck. We will see where it goes. Truly, I'm happy to have you guys here at all. This is some esoteric stuff!

  • @imrematajz1624
    @imrematajz16248 ай бұрын

    ❤with all that hand-waving your step counter must go through the roof while you are sitting still in a compact and bounded subset of your space.

  • @JoelRosenfeld

    @JoelRosenfeld

    8 ай бұрын

    I'm like 90% sure that you are talking about how I speak with my hands. But if you are speaking about "handwaving" in a mathematical sense, then this is a hilarious dig on a mathematician.

  • @johnchristian5027
    @johnchristian5027 Жыл бұрын

    Great video as always, thats a lot of information contained in a few minutes. The animations also were on point!

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    I'm glad you liked it! I'm glad the animations came through ok. It's what goes through my mind when I think about these things, and so it's not always clear what will communicate well.

  • @om5621
    @om5621 Жыл бұрын

    your channel started to took off just around the time i started learning real analysis haha (lucky for me), awesome work!

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    I’m glad it’s helping you! It’s a series I’ve been wanting to do for a while now. Have a good excuse, since I’m teaching Intro Analysis 1 this semester. Tell your friends! Lol

  • @liammitchell8907

    @liammitchell8907

    Жыл бұрын

    Me too lol

  • @user-nq3ci1vf1v
    @user-nq3ci1vf1v Жыл бұрын

    Continue offering educational content

  • @hilalahmad1779
    @hilalahmad17798 ай бұрын

    Obviously your explanation about any topic is awesome. Sir please give lecture series on Real Analysis and metric space.

  • @KaliFissure
    @KaliFissure6 ай бұрын

    Surface(cos(u/2)cos(v/2),cos(u/2)sin(v/2),sin(u)/2),u,0,2pi,v,0,4pi The radially symmetric Klein bottle. Notice the 4pi needed to complete the surface. This is half a sphere caught over its own phase inversion. Being a single sided form once you so the outside then you do the inside. Like renormalization. Once you pass infinite you are on the other side but never changed direction exactly. 🖖 Time is a compactified dimension one single Planck second in size Neutron decay cosmology. Inevitable.

  • @TonyMontana-vp6rn
    @TonyMontana-vp6rn8 ай бұрын

    I think that at 4:10 it refers to [0,1) as a topological subspaces of the reals with the induced topology, ergo the whole space [0,1) is a clopen set, so in particular it is closed. Is it plausible?

  • @HPTopoG

    @HPTopoG

    6 ай бұрын

    I think it’s highly unlikely. At best it’s still misleading since it does say anything about the subspace topology being used.

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

    Is Frechet’s definition equivalent?

  • @incredulity
    @incredulity Жыл бұрын

    Very good video, but the music doesn't fit at all😊

  • @incredulity

    @incredulity

    Жыл бұрын

    And also sometimes it's hard to hear you over the music

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    @@incredulity I make sure to cut the music at important technical parts of the video

  • @josephrussell1419

    @josephrussell1419

    4 ай бұрын

    @@JoelRosenfeld it's very distracting throughout the video. EDIT: OK I made it to the quiet bit, what a relief!

  • @fanalysis6734
    @fanalysis6734 Жыл бұрын

    Can you do some videos on real variable harmonic analysis? Something at the level of Stein's monograph on real variable methods, orthogonality, and oscillatory integrals?

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    I’ll give it some thought. Might take a while to get to it

  • @voroldrwarfff8858
    @voroldrwarfff8858 Жыл бұрын

    Hello I have a question : Im a math undergrad and I saw those analysis concepts in my analysis 1 course, so it seems to be introductory stuff. Can you tell me how the concept of compact sets is used by professional mathematicians like you in your work ?

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    Compact sets are at the core of things like functional analysis and measure theory. The critical feature that they exhibit is that every continuous function attains its maximum on that set. This means that we can define a metric to talk about the distance between functions by taking the absolute value of their difference and looking at the maximum of that function. Once you have a metric on functions, that leads to all sorts of interesting questions. Can you take derivatives of functions of functions (this is called a variation), and this comes up in optimal control theory. You can talk about how to minimize the difference between an approximation and a function you are approximating. We leverage concepts like orthogonal polynomials or even Taylor series, depending how strict we are about it. This is the field of approximation theory, and it's also the field that machine learning is based on. The existence of a maximum value over a compact set is also critical to optimization theory, where it essentially justifies the search for maximum values over compact domains. In the study of fractals, we actually define a distance on compact sets themselves. And questions about iterations of operations on these sets are very interesting, and lead to questions about what dimension means, where you can sometimes have non integer dimensions for some shapes. All of this is built upon the concept of compactness and compact sets. Does that answer your question?

  • @voroldrwarfff8858

    @voroldrwarfff8858

    Жыл бұрын

    @@JoelRosenfeld Thank you for taking the time to give me all those details ! Looking forward to your next video

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    @@voroldrwarfff8858 You’re welcome! Happy to have you here!

  • @soyokou.2810

    @soyokou.2810

    2 ай бұрын

    ​@@voroldrwarfff8858In topology, especially manifold theory, compactness provides an easier way to gain global information from local information.

  • @perappelgren948
    @perappelgren94810 ай бұрын

    "Like" isn't enough! ❤️

  • @JoelRosenfeld

    @JoelRosenfeld

    10 ай бұрын

    Cheers!

  • @AxiomTutor
    @AxiomTutor Жыл бұрын

    Neat bit of history I never knew!

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    I have a more dedicated video about Frechet coming up in the next month or so. It’s really interesting to see his false starts in defining metrics.

  • @AxiomTutor

    @AxiomTutor

    Жыл бұрын

    @@JoelRosenfeld I seriously cannot wait for that! I often think false-starts are at least as interesting as the correct result. They give a much better sense of the finer-grained steps that one should (in a psychological sense) be doing, both by attempting things and then realizing what part was wrong and then realizing how to fix it. Super pumped about this idea!

  • @tighemcasey7589
    @tighemcasey758910 ай бұрын

    video gets really dense at 6:40 haha

  • @JoelRosenfeld

    @JoelRosenfeld

    10 ай бұрын

    Yeah this video is building on the series on real analysis. Can I help clear up anything?

  • @tighemcasey7589

    @tighemcasey7589

    10 ай бұрын

    no the video is very good, I was just casually watching then I found myself having to think pretty hard and rewatch after 6:40. But this is definitely necessary in any explanation of a complex topic. I have not yet taken real analysis or topology, so some of this video's content is new to me. @@JoelRosenfeld

  • @JoelRosenfeld

    @JoelRosenfeld

    10 ай бұрын

    @@tighemcasey7589 ok! I’m glad you are finding it educational! Happy to clear anything up, if you want more info :)

  • @michaelpicardmscphd
    @michaelpicardmscphd5 ай бұрын

    Can you turn off the lousy music? How does that help with anything? A distraction.

  • @JoelRosenfeld

    @JoelRosenfeld

    5 ай бұрын

    It helps keep retention a good deal. There is a distinct difference in how long the audience sticks around when I have the music and when I do not. I have toned it down considerably in the more recent videos though, as a compromise to some who do not like it.

  • @Manoj_b
    @Manoj_b5 ай бұрын

    Lower the background music.

  • @JoelRosenfeld

    @JoelRosenfeld

    5 ай бұрын

    Can’t do anything for this video. More recent videos have much less music

  • @HUEHUEUHEPony
    @HUEHUEUHEPony Жыл бұрын

    Please use gpt-4 and not bare chat-gpt

  • @JoelRosenfeld

    @JoelRosenfeld

    Жыл бұрын

    When I made this video, gpt 4 was not created yet. It’s in the plans though