- 287
- 322 157
Andrew McCrady
Registrace 14. 11. 2011
Here you'll find videos about a variety of math subjects that are aimed at helping undergraduates, graduate students, and math enthusiasts alike.
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 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 The Hausdorff Property
zhlédnutí 221Před rokem
Homeomorphism and The Hausdorff Property
The Banach-Tarski construction produces sets without measure, so it is not a problem at all.
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.
Wow 12 seems really young, impressive!
@@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.
@@DrMcCrady I'm watching a vid on Lie algebra right now! Love it!
@@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!
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.)
This is incredibly helpful, thank you
Glad it was helpful!
Is this some topology hoodoo?
Somethin like that.
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.
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
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?
Yes that sounds right, we use that property to get the nice pattern for the different radii.
Amazing!
Why the creepy music lol
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.
The axiom of choice doesn't sound like it places any constraint on accidentally choosing the same element more than once.
“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.
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.
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.
super cool! love your videos 😊
Thank you!
How can you jump to equal cardinality from choosing exactly one element from each set?
Got a time stamp?
YOOO this is such a good video thank you!!!
Thank you, glad it was helpful!
Love your videos! Thank you so much!!
Thank you, glad they’re helpful!
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 !
That sounds like it would be really hard as an introduction!
That is super cool!
Thanks it was one of my first projects using Manim.
The background sound is very annoying
Thank you both for the feedback.
gracias
Glad it was helpful!
That is a real "real example" to explain the topic. Thanks Andrew!
Glad it was helpful!
I was looking forward to this video, but the awful melting music drove me away... I pray you, please repost without it!
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.
Thanks for pointing that out, I just went down a stack exchange rabbit hole reading about it. Very interesting!
@@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!
I was mostly getting it until the proof at the end. Then I got completely lost lol.
Yeah it’s a mouthful!
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?
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.
At around 4:40, it should be C'_n+1(x) = -S_n(x)
Yes I agree, thank you for catching that.
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!
Glad it was helpful! Sure here’s the Geogebra link. www.geogebra.org/m/e7vztr4d
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
Really nice visuals btw
Thank you!
Very helpful video
Good to hear, glad it was helpful!
Thank you
Glad it was helpful!
thanks!
Glad it was helpful!
Incredible explanation. Thanks so much!!!
Glad it was helpful!
Mr. Andrew thank for explanation
Glad it was helpful!
Nice visuals
Thanks, cheers!
Type "Imaginary number" with your eyes closed
I don’t get it…?
You need to work on your audio.
Will do
💯
missing the case x=z ≠ y? (which is obvs also true, 0≤1+1, but exhaustive proof requires this)
Yeah must have ran out of time that class 😁
Are you kidding? Only 2k subscribers?! Wonderful. Thank you for sharing!
Glad it was helpful!
Axiom of choice says all sets are countable...
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.
@@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?
Are you saying there’s no difference between countable infinity and uncountable infinity?
@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.
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.
bro this video is just awesome! helped me a lot, thanks
Glad it was helpful!
thanks for the explanation
Glad it was helpful!
thanks!❤❤❤
Glad it was helpful!
Great video
Thanks!
thank you!!!!!
Glad it was helpful!
thank you so much for this explanation, im doing my IB extended essay in mathematics and this was a giant help :)
Glad it was helpful!
for what you need B` ? hmm?
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’.
but you dont sey that you use something from B'@@DrMcCrady
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.
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
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!
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!
Glad it was helpful!
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.
Thank you so much 🙏🙏🙏🙏🙏
Glad it was helpful!
Thank you, very easy to follow.
Glad it was helpful!