Andrew McCrady
Andrew McCrady
  • 287
  • 322 157
The Subgroup Tests in Under 3 Minutes! Fast Abstract Algebra Help
How do you show a subset of a group is a subgroup? Do you have to check all the group axioms? We'll talk about two ways to test if a subset of a group is a subgroup, and demonstrate how to do the tests with two examples. Hopefully this makes you feel better prepared to solve these kinds of group theory problems!
zhlédnutí: 43

Video

A Precursor to Group Theory
zhlédnutí 537Před měsícem
Here's a fast but clear introduction to group theory, which makes up a substantial part of a typical abstract/modern algebra class. Before you get frustrated with a super abstract textbook, take 10ish minutes understand the key concepts of group theory with examples and simple explanations. Please like and subscribe to help grow the channel!
Partial Sum Formulas and Asymptotic Analysis
zhlédnutí 117Před měsícem
Finding a summation formula to add the first n natural numbers is easy. Finding a summation formula to add the first n reciprocals is impossible, literally. At least in terms of elementary functions. This video dives into asymptotic analysis to prove there's no "nice" formula for the harmonic numbers. It's a great application of freshman calculus, how long can you follow along? Thanks to a view...
Homotopy Classes, the Path Product, and Associativity
zhlédnutí 120Před 3 měsíci
We give clear explanations visuals for the path product and homotopies of paths in a topological space. We focus on the fact that the path product is not necessarily associative, but that we can extend the path product to equivalence classes of homotopic paths, and show that the path product is associative on these homotopy classes. Along the way we show that a path is homotopic to any reparame...
Homotopy Intro
zhlédnutí 250Před 3 měsíci
Homotopy between paths in a topological space can be tough to understand. This video aims to make it easy to understand! We'll intuitively define what a homotopy between paths is, use pictures and demonstrations to understand this idea, then use this to understand the rigorous definition of a homotopy, along with examples. This video is part of a growing playlist of mine dedicated to topology. ...
Paths and the Path Product
zhlédnutí 133Před 3 měsíci
This topology video introduces paths in a topological space, and then the path product. This is the first video introducing some material needed to discuss the homotopy groups of a topological space. We carefully go over the definitions and animate some examples. The only prerequisite is knowing what a topological space is. I'm aiming to make this an easy introduction to algebraic topology.
ElGamal Encryption and Elliptic Curve Cryptography
zhlédnutí 140Před 4 měsíci
This video explains and illustrates all aspects of ElGamal Encryption and Elliptic Curve Cryptography through the story of Alice and Bob. Will Alice's secret message make it to Bob? More information about elliptic curves and elliptic curve cryptography: www.ams.org/journals/mcom/1987-48-177/S0025-5718-1987-0866109-5/S0025-5718-1987-0866109-5.pdf czcams.com/video/RtiVaALdqX0/video.html wstein.or...
Why is the orbit of a planet in a plane?
zhlédnutí 1KPřed 5 měsíci
Ever wonder why a planet orbits a star in a plane? Here's a cool proof that uses a little calculus, physics, and vector algebra. Behold, the power of mathematics!
Visual Calculus: Fubini's Theorem for Iterated Double Integrals
zhlédnutí 415Před 6 měsíci
In this video we'll use beautiful animations to visualize Fubini's Thereom for Iterated Double Integrals. It's a result that any calculus 3 student must understand. If you find this video helpful, let me know, and like and subscribe for more! Atlantis by Audionautix is licensed under a Creative Commons Attribution 4.0 license. creativecommons.org/licenses/by/4.0/
The Alexander Subbase Theorem: help understanding the definitions and the proof
zhlédnutí 534Před rokem
This video is about the Alexander Subbase Theorem, sometimes called the Alexander Subbase Lemma. It's useful for proving Tychonoff's Theorem, which asserts that an arbitrary product of compact sets is compact, and is equivalent to the Axiom of Choice. This video is mostly self-contained, with refreshers on important definitions like base and subbase of a topology, an open cover of a space, and ...
Understand The Baire Category Theorem: Dense Sets, Nowhere Dense Sets, & Infinity
zhlédnutí 1,8KPřed rokem
Need help understanding dense sets, nowhere dense sets, and the Baire Category Theorem? Want another way to prove that the real number are uncountable? Here's a detailed treatment of these topics. Thanks for watching, check out the rest of the playlist!
Piecewise Continuous Linear Functions are Dense Among Continuous Functions
zhlédnutí 582Před rokem
Piecewise Continuous Linear Functions are Dense Among Continuous Functions
The Axiom of Choice: History, Intuition, and Conflict
zhlédnutí 7KPřed rokem
The Axiom of Choice: History, Intuition, and Conflict
Cards, Marriage, and Python: an Introduction to Graph Theory
zhlédnutí 190Před rokem
Cards, Marriage, and Python: an Introduction to Graph Theory
Can you solve these three tricky counting problems?
zhlédnutí 86Před rokem
Can you solve these three tricky counting problems?
How many squares are on a chessboard? And more!
zhlédnutí 307Před rokem
How many squares are on a chessboard? And more!
How many triangles are there in an n by n grid?
zhlédnutí 323Před rokem
How many triangles are there in an n by n grid?
The Complex Logarithm: Multivalued Functions?!?
zhlédnutí 1,2KPřed rokem
The Complex Logarithm: Multivalued Functions?!?
How Harmonic Functions Relate to Holomorphic Functions
zhlédnutí 578Před rokem
How Harmonic Functions Relate to Holomorphic Functions
The Polar Form of the C R Equations
zhlédnutí 131Před rokem
The Polar Form of the C R Equations
Harmonic Functions: why they are cool!
zhlédnutí 332Před rokem
Harmonic Functions: why they are cool!
The Complex Trig Functions
zhlédnutí 171Před rokem
The Complex Trig Functions
The Complex Exponential
zhlédnutí 196Před rokem
The Complex Exponential
The Cross Ratio
zhlédnutí 942Před rokem
The Cross Ratio
The Extended Complex Plane (Riemann Sphere)
zhlédnutí 3,3KPřed rokem
The Extended Complex Plane (Riemann Sphere)
The Stereographic Projection: Learn it FAST!
zhlédnutí 8KPřed rokem
The Stereographic Projection: Learn it FAST!
Euclidean Space, Locally Euclidean Space, and Manifolds
zhlédnutí 923Před rokem
Euclidean Space, Locally Euclidean Space, and Manifolds
Homeomorphism and Connectedness
zhlédnutí 447Před rokem
Homeomorphism and Connectedness
Homeomorphism and The Hausdorff Property
zhlédnutí 221Před rokem
Homeomorphism and The Hausdorff Property
Help with Double Integrals
zhlédnutí 95Před rokem
Help with Double Integrals

Komentáře

  • @Necrozene
    @Necrozene Před 9 dny

    The Banach-Tarski construction produces sets without measure, so it is not a problem at all.

  • @Necrozene
    @Necrozene Před 9 dny

    Ever since I learned out it when I was 12, I was in love with it. It makes perfect sense, and no-one could adequately explain the problem.

    • @DrMcCrady
      @DrMcCrady Před 8 dny

      Wow 12 seems really young, impressive!

    • @Necrozene
      @Necrozene Před 8 dny

      @@DrMcCrady I had a great maths teacher, who had a beautiful poster. I was curious, and he took the time to explain it to me. Mr Doolan.

    • @Necrozene
      @Necrozene Před 8 dny

      @@DrMcCrady I'm watching a vid on Lie algebra right now! Love it!

    • @Necrozene
      @Necrozene Před 8 dny

      @@DrMcCrady Oh, and I thought the Banach-Tarski "paradox" was very cute. I saw no logical problem with that! We already knew that there were as many points in the segment [0;1] as the square [0;1]x[0;1] so there was no problem, just an amusing result! So, it's not continuous; that's OK!

  • @David-id6jw
    @David-id6jw Před 10 dny

    So it sounds like the Axiom of Choice isn't that you can pick an element from a set, it's that you can pick an element from a set and _know what it is._ For example, using the well-ordered principal, you can always find the smallest value in a set, so you can always choose the smallest element. Without the well-ordered principal, it's like trying to choose a sock when you can't tell which one is the left or right. That doesn't work with a bag of red marbles, because there's no order to them, so you can't pick the 'smallest'. If you could distinguish them by the number of atoms in each one, you could order them. If you had a bag of marbles of all different colors, you might order them by the wavelength of light that they reflect, and thus choose the one reflecting the shortest or longest wavelengths. But without some means of ordering (which requires additional information about the marbles other than "red"), whatever gets picked is arbitrary, not defined by a rule, and thus seems to fail the assertion because there is no function to get you the result. Or more accurately, a specific, repeatable result, because a function with a given input must always produce the same output. (This assumes that the different red marbles are in fact different entities, which is required by another comment describing how probability works.)

  • @gabrielmedina2480
    @gabrielmedina2480 Před 11 dny

    This is incredibly helpful, thank you

  • @Tabu11211
    @Tabu11211 Před 14 dny

    Is this some topology hoodoo?

  • @9WEAVER9
    @9WEAVER9 Před 16 dny

    Great video, thanks for making it! By chance, can you let us know which books to find the Stolz-Cesàro Theorem in? I look forward to the day when asymptotics and perturbation theory are all over CZcams math channels. Carl Bender has close to 1 million views on his first lecture video now.

    • @DrMcCrady
      @DrMcCrady Před 16 dny

      Thanks for your comment! Here’s a link to a big book for sequences and series from Pete L Clark at UGA. alpha.math.uga.edu/~pete/3100supp.pdf

  • @jeanveramorocho9307
    @jeanveramorocho9307 Před 18 dny

    In 8:40 you say we're allowed to take that radius r_1 such that 0<r_1<1. Is it so because as B(x,r) \cap U_1 is open then we can find a radius l>0 where B(y_1, l) is contained in B(x,r) \cap U_1 but if we take a real number r_1 such that 0<r_1<min(1,L) small enough (the density of the rationals or the Archimedean property can help us control its smallness) such that the closure of B(y_1, r_1) (the ball itself with the point z in X such that d(z, y_1) = r_1 ) is contained in B(x,r) \cap U_1? And is it the same reasoning for 9:26, right?

    • @DrMcCrady
      @DrMcCrady Před 18 dny

      Yes that sounds right, we use that property to get the nice pattern for the different radii.

  • @Victor25alencar
    @Victor25alencar Před 26 dny

    Amazing!

  • @grayjphys
    @grayjphys Před 26 dny

    Why the creepy music lol

    • @DrMcCrady
      @DrMcCrady Před 26 dny

      Ha yeah I regret it a bit. Was going for weird, since the topic is weird, but the music is a bit much. Still learning how to do this.

  • @tobuslieven
    @tobuslieven Před 27 dny

    The axiom of choice doesn't sound like it places any constraint on accidentally choosing the same element more than once.

    • @DrMcCrady
      @DrMcCrady Před 27 dny

      “Given any collection of nonempty sets, it’s possible to select exactly one element from each of them”. So we’re not just dealing with one set to choose all of the elements from.

  • @user-er5hj1jw7b
    @user-er5hj1jw7b Před 29 dny

    If the directional derivative is the scalar product with a turning unitary vector, it's mean that 2 points which have the same gradient on 2 different curve will have necessarly the same directional derivative in each direction at that given point ? Probably because the 2 different curve are the same LOCALLY ? -- altough intuitively I would think it could be different and depend on the law of evolution of it's own curve.

    • @DrMcCrady
      @DrMcCrady Před 28 dny

      Yes looks like you’re on the right track. If gradient f at (a,b) has the same value as gradient g at (c,d), then locally f and g look the same, and if u is any unit vector, then the directional derivative for f at (a, b) in the direction of u will match the directional derivative for g at (c,d) in the direction of u. This is because the directional derivative is just the scalar product of the gradient with u.

  • @aitorvicente5672
    @aitorvicente5672 Před měsícem

    super cool! love your videos 😊

  • @rajpanchal9508
    @rajpanchal9508 Před měsícem

    How can you jump to equal cardinality from choosing exactly one element from each set?

  • @kristijanpete4473
    @kristijanpete4473 Před měsícem

    YOOO this is such a good video thank you!!!

    • @DrMcCrady
      @DrMcCrady Před měsícem

      Thank you, glad it was helpful!

  • @pateticheskaya
    @pateticheskaya Před měsícem

    Love your videos! Thank you so much!!

    • @DrMcCrady
      @DrMcCrady Před měsícem

      Thank you, glad they’re helpful!

  • @mathis8391
    @mathis8391 Před měsícem

    The content of group theory is really interesting ( very simple ) in english, I used to study it in french which have that kind of complex abstraction even in introduction ( Fratini group and its représentation , association with galois…) I really needed this kind of fresh and clear explanation Good job !

    • @DrMcCrady
      @DrMcCrady Před měsícem

      That sounds like it would be really hard as an introduction!

  • @jilleenferris512
    @jilleenferris512 Před měsícem

    That is super cool!

    • @DrMcCrady
      @DrMcCrady Před měsícem

      Thanks it was one of my first projects using Manim.

  • @FernandoProiettiOrlandi
    @FernandoProiettiOrlandi Před měsícem

    The background sound is very annoying

    • @DrMcCrady
      @DrMcCrady Před měsícem

      Thank you both for the feedback.

  • @antonioruizvillasenor5258

    gracias

  • @aliguliyev1866
    @aliguliyev1866 Před měsícem

    That is a real "real example" to explain the topic. Thanks Andrew!

  • @worldnotworld
    @worldnotworld Před měsícem

    I was looking forward to this video, but the awful melting music drove me away... I pray you, please repost without it!

  • @yanntal954
    @yanntal954 Před měsícem

    4:26 You don't need choice for that actually. You can prove it with much weaker additional axioms that for some reason are more acceptable than Choice. One example is just using ZF + Hahn Banach theorem.

    • @DrMcCrady
      @DrMcCrady Před měsícem

      Thanks for pointing that out, I just went down a stack exchange rabbit hole reading about it. Very interesting!

    • @yanntal954
      @yanntal954 Před měsícem

      @@DrMcCrady Sure, I'm glad you found it interesting! Also there is a nice construction by Terance Tao where he used the Hyperreal numbers to construct a non-measurable (in the Lebesgue sense) set. He does say that the construction relays on the existence of a non-trivial Ultrafilter which can be proven using the Axiom of choice, however, you can simply accept its existence if you simply add the Ultrafilter Lemma to ZF, which even though can be derived from the axiom of Choice, cant itself derive Choice, meaning ZF+Ultrafilter Lemma is weaker than ZFC and yet you still have unmeasurable sets and Banach Tarski!

  • @MobiusCoin
    @MobiusCoin Před 2 měsíci

    I was mostly getting it until the proof at the end. Then I got completely lost lol.

    • @DrMcCrady
      @DrMcCrady Před 2 měsíci

      Yeah it’s a mouthful!

  • @harrybetts8559
    @harrybetts8559 Před 2 měsíci

    For the 6 x 6 grid first shown at 7:20, how does your answer account for the straight line which contains the points (0,5), (1,3) and (2,1) for instance?

    • @DrMcCrady
      @DrMcCrady Před 2 měsíci

      Oh wow, thank you for pointing that out to me! My formula misses many of those types of segments, so I need to fix that.

  • @sarakritimariepaes5390
    @sarakritimariepaes5390 Před 2 měsíci

    At around 4:40, it should be C'_n+1(x) = -S_n(x)

    • @DrMcCrady
      @DrMcCrady Před 2 měsíci

      Yes I agree, thank you for catching that.

  • @chiai6562
    @chiai6562 Před 2 měsíci

    I found this video is really helpful for my studying about calculus 2 in uni. Could you share that geogebra animation, I really want to learn more about animating in geogebra! After all, thank you so much for your work!

    • @DrMcCrady
      @DrMcCrady Před 2 měsíci

      Glad it was helpful! Sure here’s the Geogebra link. www.geogebra.org/m/e7vztr4d

  • @mk91-vz1oj
    @mk91-vz1oj Před 2 měsíci

    It's amazing how I am watching a video about something so interesting, and yet I get bombarded with an advert half way through with that useless idiot Greg Secker waving 150 quid at me

  • @vadimpavlov6037
    @vadimpavlov6037 Před 2 měsíci

    Really nice visuals btw

  • @SS-ket
    @SS-ket Před 2 měsíci

    Very helpful video

    • @DrMcCrady
      @DrMcCrady Před 2 měsíci

      Good to hear, glad it was helpful!

  • @VNFilmography
    @VNFilmography Před 2 měsíci

    Thank you

  • @daledeo6756
    @daledeo6756 Před 2 měsíci

    thanks!

  • @jakegameroff1780
    @jakegameroff1780 Před 2 měsíci

    Incredible explanation. Thanks so much!!!

  • @mm-wm6uh
    @mm-wm6uh Před 2 měsíci

    Mr. Andrew thank for explanation

  • @pro_-lx2bf
    @pro_-lx2bf Před 2 měsíci

    Nice visuals

  • @mainlyshortvideos
    @mainlyshortvideos Před 2 měsíci

    Type "Imaginary number" with your eyes closed

  • @fredsnicker
    @fredsnicker Před 2 měsíci

    You need to work on your audio.

  • @user-fg8vo2mx9f
    @user-fg8vo2mx9f Před 3 měsíci

    💯

  • @carl3260
    @carl3260 Před 3 měsíci

    missing the case x=z ≠ y? (which is obvs also true, 0≤1+1, but exhaustive proof requires this)

    • @DrMcCrady
      @DrMcCrady Před 3 měsíci

      Yeah must have ran out of time that class 😁

  • @fireemblem2770
    @fireemblem2770 Před 3 měsíci

    Are you kidding? Only 2k subscribers?! Wonderful. Thank you for sharing!

  • @SunShine-xc6dh
    @SunShine-xc6dh Před 3 měsíci

    Axiom of choice says all sets are countable...

    • @DrMcCrady
      @DrMcCrady Před 3 měsíci

      Not quite. If you had a family of nonempty sets indexed by the real numbers, AOC says it’s possible to choose an element from each of these sets. AOC doesn’t say this family of uncountably many sets is countable.

    • @SunShine-xc6dh
      @SunShine-xc6dh Před 3 měsíci

      @@DrMcCrady it say it's possible with every set no exceptions no explanation necessary. 'Countable infinity' is an oxymoron created by people that want to have their cake and eat it... What's the number you counted to determine you reached infinity?

    • @DrMcCrady
      @DrMcCrady Před 3 měsíci

      Are you saying there’s no difference between countable infinity and uncountable infinity?

    • @SunShine-xc6dh
      @SunShine-xc6dh Před 3 měsíci

      @DrMcCrady yes unless you can tell me what number you actually counted that came directly before infinity and i cant think of a number you missed... What number do you add 1 and get infinity? You counted it so it should be no problem to answer, unless you didn't count to infinity and your just making up arbitrary nonsense.

    • @DrMcCrady
      @DrMcCrady Před 3 měsíci

      It sounds like you’d like to discuss what countable infinity is. There is no number that you add 1 to then suddenly you arrive at infinity. The idea of infinity is to describe that you can keep adding 1, that there is no number x for which the process of adding 1 becomes redundant. I hope that helps.

  • @brenohenrique2208
    @brenohenrique2208 Před 3 měsíci

    bro this video is just awesome! helped me a lot, thanks

  • @estracto_12
    @estracto_12 Před 3 měsíci

    thanks for the explanation

  • @AlessandroZir
    @AlessandroZir Před 3 měsíci

    thanks!❤❤❤

  • @susa4727
    @susa4727 Před 3 měsíci

    Great video

  • @saduzi6498
    @saduzi6498 Před 3 měsíci

    thank you!!!!!

  • @ok-so7ob
    @ok-so7ob Před 3 měsíci

    thank you so much for this explanation, im doing my IB extended essay in mathematics and this was a giant help :)

  • @maciej12345678
    @maciej12345678 Před 3 měsíci

    for what you need B` ? hmm?

    • @DrMcCrady
      @DrMcCrady Před 3 měsíci

      B’ is the sub collection that specifically covers the subset U. For example, on the real line, all the open intervals (a,b) form a basis for a topology. For a specific subset U, I don’t need all possible intervals (a,b) to cover U, I just need some of them. That’s B’.

    • @maciej12345678
      @maciej12345678 Před 3 měsíci

      but you dont sey that you use something from B'@@DrMcCrady

    • @DrMcCrady
      @DrMcCrady Před 3 měsíci

      In the last example, the open set U is the first quadrant (not including the axes). B’ could be the open balls that are centered at points in the first quadrant. The idea is that I don’t need every possible open ball (with centers in each of the quadrants) to cover the first quadrant.

    • @maciej12345678
      @maciej12345678 Před 3 měsíci

      tell me one thing WHY you NEED COMPACTENES in non metric Topology is this like Complete in metric space ?is just protetic for non metric spaces?@@DrMcCrady

  • @AkamiChannel
    @AkamiChannel Před 4 měsíci

    Finally someone explaining the 1-z part! I was pulling my hair out because I was looking at the wrong similar triangles and it's hard to look at something differently after your brain already decided how to see it. Your video was the only one after about a dozen that explained it! And every source online said things like "easily shown by similar triangles" or didn't explain it at all! Thank you!

    • @AkamiChannel
      @AkamiChannel Před 4 měsíci

      Btw, while it doesn't bother me at all, isn't using the complex plane unnecessary and potentially adding a point of confusion for some viewers? I think stereographic projections can be done without reference to the complex plane, though complex functions etc are of course an amazing application of stereographic projection!

    • @DrMcCrady
      @DrMcCrady Před 4 měsíci

      Glad it was helpful!

    • @DrMcCrady
      @DrMcCrady Před 4 měsíci

      Yeah you could do it without complex, it was just something from the complex variables course I teach, so I had that audience in mind.

  • @sahilkolhe2677
    @sahilkolhe2677 Před 4 měsíci

    Thank you so much 🙏🙏🙏🙏🙏

  • @hamzamohiuddin973
    @hamzamohiuddin973 Před 4 měsíci

    Thank you, very easy to follow.