![Math at Andrews University](/img/default-banner.jpg)
- 200
- 2 596 427
Math at Andrews University
United States
Приєднався 30 кві 2018
Andrews University is a national university in southwest Michigan, recognized for its commitment to excellent Christian education and ranked the nation's most ethnically diverse campus, serving students from across the world. The department of mathematics offers degrees in mathematics (theoretical, applied, and statistics) and data science, preparing undergraduates for highly competitive graduate programs and impactful careers.
Algebraic Topology 22: Cup Product of Torus & Klein Bottle
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html
We calculate the homology, cohomology, and cup product of the torus and Klein bottle. For the Klein bottle, we calculate the cohomology and cup product using Z_2 coefficients.
Presented by Anthony Bosman, PhD.
Learn more about math at Andrews University: www.andrews.edu/cas/math/
In this course we are following Hatcher, Algebraic Topology: pi.math.cornell.edu/~hatcher/AT/AT.pdf
We calculate the homology, cohomology, and cup product of the torus and Klein bottle. For the Klein bottle, we calculate the cohomology and cup product using Z_2 coefficients.
Presented by Anthony Bosman, PhD.
Learn more about math at Andrews University: www.andrews.edu/cas/math/
In this course we are following Hatcher, Algebraic Topology: pi.math.cornell.edu/~hatcher/AT/AT.pdf
Переглядів: 1 308
Відео
Algebraic Topology 21: Cup Product
Переглядів 1,2 тис.2 місяці тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We define the Cup Product, a way a combing elements of the cohomology groups H^j and H^k to get an element of the cohomology group H^(j k). Presented by Anthony Bosman, PhD. Learn more about math at Andrews University: www.andrews.edu/cas/math/ In this course we are following Hatcher, Algebraic Topology: pi.math.cornell.edu/~hatc...
Algebraic Topology 20: Introduction to Cohomology
Переглядів 2,6 тис.3 місяці тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We give a brief recap of homology and then show how dualizing the chain complex by Hom( ,Z) gives a cochain complex with coboundary maps that we use to calculate cohomology. We show that for finitely generated chain groups, we can calculate the cohomology in terms of the homology groups. Then we dualize with other coefficient gro...
Algebraic Topology 19: Category Theory
Переглядів 3,1 тис.3 місяці тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html What is category theory? In this lecture we introduce categories, which includes objects, morphismisms between those objects, and compositions of those morphisms. We give several examples. We then define functors between categories, showing that homology and the fundamental group are both examples of functors. And finally we intr...
Algebraic Topology 18: Mayer-Vietoris
Переглядів 1,9 тис.4 місяці тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We review the long exact sequence for a pair (A,X) and the Excision theorem, then use these to construct the Mayer-Vietoris sequence and prove that it is exact. Then we show examples of calculating homology using Mayer-Vietoris: the sphere S^n and the Klein bottle. Presented by Anthony Bosman, PhD. Learn more about math at Andrew...
Algebraic Topology 17: Degree and Cellular Homology
Переглядів 2,4 тис.4 місяці тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We introduce the notion of the degree of a map from S^n to S^n. As a nice application, we use degree to prove the Hairy Ball Theorem. Then we develop cellular homology, another homology theory equivalent to simplicial and singular homology. We show how to calculate the cellular homology of the torus and Klein bottle. Presented by...
Algebraic Topology 16: Singular Homology = Simplicial Homology
Переглядів 1,5 тис.4 місяці тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html Is this lecture we sketch an inductive proof that singular homology and simplicial homology are equivalent. The bulk of our time is spent proving the Five Lemma which states that in a commutative diagram between two exact sequences, if four of the maps between the sequences are isomorphisms, so is the fifth. Presented by Anthony ...
Algebraic Topology 15: Exact Sequence of Homology and Excision
Переглядів 2,1 тис.4 місяці тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html In this lecture we show how to go from the short exact sequence of chain complexes to a long exact sequence of homology for a subspace A of X. We also introduce the excision theorem and use it to prove that homeomorphic spaces must have the same dimension. Presented by Anthony Bosman, PhD. Learn more about math at Andrews Univers...
Algebraic Topology 14: Exact Sequences & Homology of Spheres
Переглядів 2,5 тис.5 місяців тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We introduce exact sequences and a particular long exact sequence on the (reduced) homology groups for a subspace A of the space X and its quotient X/A. Then we use this to calculate the (singular) homology of the spheres S^n. We also discuss the homology of the suspension SX of a space X and give a topological proof of Brouwer's...
Algebraic Topology 13: Homotopy Equivalence Preserves Homology
Переглядів 2,2 тис.5 місяців тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We prove that if two spaces are homotopy equivalent, then they have the same (simplicial) homology groups. We do this by showing that homotopic maps between spaces induce the same homomorphism on the homology groups. Presented by Anthony Bosman, PhD. Learn more about math at Andrews University: www.andrews.edu/cas/math/ In this c...
Algebraic Topology 12: Intro to Singular Homology
Переглядів 3,6 тис.5 місяців тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We give a brief review of simplicial homology, which is defined for for simplicial (or delta) complexes, as discussed in the previous lectures. When introduce singular homology, defined for any space. In particular, we observe that while simplicial complexes is easier for computing, singular homology is a theory well suited for p...
Algebraic Topology 11: What is homology measuring?
Переглядів 4,1 тис.6 місяців тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We give the intuition behind homology in particular, how homology measures the "holes" of a space of various dimensions. While this motivates the formal definition and helps one understand the calculations, in this lecture we neither give a formal definition or explicit means of calculating homology. For that, see the earlier lec...
Algebraic Topology 10: Simplicial Homology
Переглядів 5 тис.7 місяців тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We discuss higher dimensional homotopy groups, highlighting the difficulty of calculating them for even spheres, motivating the shift to homology which is easier to calculate. Then we define simplicial complexes, and the more general delta-complexes, and show how we use these to create a chain complex with a boundary operating re...
Algebraic Topology 9 : Deck Transformations of Covering Spaces
Переглядів 2,9 тис.7 місяців тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We complete our study of covering spaces by discussing the group of deck transformations of a covering space, that is, the group formed by isomorphisms from a covering space to itself that send basepoints to basepoints. We see that this group is the quotient of the fundamental group of the base space and that of the covering spac...
Algebraic Topology 8: Properties of Covering Spaces
Переглядів 3,5 тис.7 місяців тому
Playlist: ua-cam.com/play/PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4.html We continue our study of covering spaces, reviewing the definition and a couple examples and then proving some important properties. In particular, we discuss the unique path lifting property and homotopy lifting property. These let us prove that the induced homomorphism between a covering space and base space is injective. We al...
Algebraic Topology 7: Covering Spaces
Переглядів 5 тис.8 місяців тому
Algebraic Topology 7: Covering Spaces
Algebraic Topology 6: Seifert-Van Kampen Theorem
Переглядів 7 тис.8 місяців тому
Algebraic Topology 6: Seifert-Van Kampen Theorem
Algebraic Topology 5: Homeomorphic Spaces have Isomorphic Fundamental Groups
Переглядів 4,2 тис.8 місяців тому
Algebraic Topology 5: Homeomorphic Spaces have Isomorphic Fundamental Groups
Algebraic Topology 4: Brouwer Fixed Point Theorem & Borsuk-Ulam
Переглядів 5 тис.9 місяців тому
Algebraic Topology 4: Brouwer Fixed Point Theorem & Borsuk-Ulam
Algebraic Topology 3: Fundamental Group is a Group!
Переглядів 6 тис.9 місяців тому
Algebraic Topology 3: Fundamental Group is a Group!
Algebraic Topology 2: Introduction to Fundamental Group
Переглядів 9 тис.9 місяців тому
Algebraic Topology 2: Introduction to Fundamental Group
Algebraic Topology 1: Homotopy Equivalence
Переглядів 12 тис.9 місяців тому
Algebraic Topology 1: Homotopy Equivalence
Algebraic Topology 0: Cell Complexes
Переглядів 29 тис.10 місяців тому
Algebraic Topology 0: Cell Complexes
Metric Spaces 11: Dense & Seperable Topological Spaces
Переглядів 47711 місяців тому
Metric Spaces 11: Dense & Seperable Topological Spaces
Metric Spaces 12: L^p is Separable, L^infinity isn't
Переглядів 1,3 тис.11 місяців тому
Metric Spaces 12: L^p is Separable, L^infinity isn't
Metric Spaces 10: Holder's & Minkowski's Inequality
Переглядів 38411 місяців тому
Metric Spaces 10: Holder's & Minkowski's Inequality
Metric Spaces 9: Contraction Mapping Theorem
Переглядів 1,1 тис.11 місяців тому
Metric Spaces 9: Contraction Mapping Theorem
Metric Spaces 7: Homeomorphism and Isometry
Переглядів 81111 місяців тому
Metric Spaces 7: Homeomorphism and Isometry
Metric Spaces 6: Continuity and Homeomorphism
Переглядів 41111 місяців тому
Metric Spaces 6: Continuity and Homeomorphism
quebec
اتمنى لو لديك ترجمة عربية شرحك رائع لكن لا افهم اغلب الكلام
Just a quick off-the-cuff comment after seeing cohomology for the first time: since elements of the chain groups are Z-linear combinations of the generators (same thing as maps from the generators to Z), and elements of the cochain groups are homomorphisms from the free groups on the generators into Z (same thing as arbitrary maps from the generators to Z) and the addition operations on each coincide, aren’t they each (at least for Z coefficients) the same? I guess they might be, but the homology can differ because the boundary maps might differ. Also, I guess this has something to do with why the case of cohomology with Z coefficients is a special case and why in the torsion-free case they actually are the same.
I just realised I’m basically just observing that finite dimensional Z-modules are all isomorphic to their duals. Which is… I guess… a very standard fact.
30:48 Yes, you can check it if you like… but you can instead just remember that contravariant represented functors preserve coproducts 😉 (a fact I learnt only very recently!).
Amazing, regards from Spain, you are helping me a lot, thanks.
He has a special relationship with the book. That’s completely understandable. 😅
Very well explained, thank you!
Retraction (convergence, syntropy) is dual to inclusion (divergence, entropy). "Always two there are" -- Yoda. Attraction is dual to repulsion -- forces are dual!
Yeah, feeling bad about math, so hard and still learning. And hopefully get excited career like Sean said, just starting industry job.
Math is hard for all of us! Hang in there - half the battle is just sticking to it.
What is a Union of Union to Learn more about the Ambient Spaces?
Soooo it’s 0?
how is possible that with n-2 number in a sequence get n to the power of (n-2), with (n-2) position and with n as the highest value you can have (n-2) to the power of n that is totally different.
big galaxies are knots in process ?
Why the RHS solid torus behavior while filling space around the LHS torus (compactification 1h.02m ) resembles the shape of the magnetic field of a coil ?
at 39:00, when you said f and g are homotopy equivalent, did you mean to say homotopic?
and at 53:16, you meant "equivalence classes" not relations. Thank you for the great lectures!!
he did not prove that GF is perpendicular to AE.
Can i use max instead of sup bcz the image set is closed and bounded.
WTF 😮
we all know it's not possible without your group theories
The only thing that the book lacks is examples. Otherwise the theoretical content is intermediate friendly.
Isn't the boundary of a circle is itself? as any neighborhood of a point on the circle intersects both circle and its complement. It makes sense that the boundary of the circle is empty if we define the boundary of a set to be the boundary of its interior.
The circle is one-dimensional, and the neighborhoods of its points are too, and none of them contain any points not on the circle
What a great tracher. A youtuber scaredmonger about math classes difficulty, and the topic they saw at the math class he attended was VanKampen's theorem. To prove him wrong I was determined to learn the same topic with no previous background knowledge, and thanks to this lecture I understood the theorem. The sign of a an amazing teacher
Yes He is a great teacher. I m learning a lot from his lectures ❤
Dear professor Anthony Bosman, I'm a highchool student in Korea. At first, thank you for the enthusiastic video. I was really impressed by the high quality and the content of the lecture. I've already knew the concepts of fundamental group and knot theory, but I've never thought of combining both up! And also the physical visualization of abelian and non-abelian fundamental groups were intriguing. In fact, I'm trying to operate a math experience booth in the school festival, so if it's okay, can I use your instance for the experience booth?
Happily!
42:31 If x^2 is rational, then we don't need it in the basis anyway so can't we skip this step?
As far as I've seen so far, this professor is a star. Love his teaching style, the topic progression, and the overall clarity. This is easily the best LA course on YT - imho it's even better than the famous MIT one ;-)
This helped me in my life. You have earned a subscriber :)
I have no idea what you're talking about but i promise i will
How can these spaces be Abelian? We are no longer describing a sequence of paths that end where they started; if the cycles can be in any order, then the map from S1 to the space can be discontinuous. You can pick up the pen and draw the cycle piecewise, so to speak. If the idea is to specify which elements constitute the cycle, then why are they Z and not Z mod 2? There's no way to make sense of this as an abelian group.
so this axiom can be used for infinity huh? I remember something like inf+x=inf but this only means that if u have 1 set of infinity points, then u can choose so that u create 2 sets each equal to that first set, from that first set. That is all you can't from that come to the conclusion that u can create 2 spheres identical to the first sphere. too many words like " create, identical" that need definition. in math: I mean, imagine u have 1 set of infinity points, how the fuk can you "create" a sphere with that in math? just by saying u "create" it? what does that even mean? I feel like u can only say that a set from all points of a sphere is equal to another set from all points of another sphere. Adding stuff like "break down a sphere", and "create a new sphere" is too out of math. those work first of all is not math, second, it make ppl think about phys, hence the so-called "paradox". but it is not a paradox if they use the correct words for it.
Euclidean spaces have n points represented by real numbers (x1, x2, ... , xn) and a dot product whereas the continuous function example is completely different but we can still find a notion of a distance function and hence a metric space which isnt just points in n-dimensional space. The example is to show its not just a concept that applies to euclidean spaces.
damn
This course is the best among all that ive ever had. Thank you
The camera man didn't do a great job
We're very lucky to have a whole algebraic topology course on here for free. Just started to go through Hatcher's book myself, these lectures are great.
Excellent lecturer and material. I find the Hatcher book detailed but uninspiring
I've noticed that the universal cover for the wedge of two copies of S_1 is literally just the cayley graph for the free group <a, b> Is this a coincidence? Because the way you drew R as a helix (with "vertices" corresponding to the base point in S_1) is technically just the cayley graph of <a>, or Z.
Great suit. Big effort on the outfit. Well done
Seems so clear
In the Z-example, ordering {0, 1 -1, ...} why is 0 the least ? Unless the ordering involved is not the usual one of the integers, but simply defines the set as starting with 0? -1 (and all other negative integers) are smaller, in the usual ordering, than 0.
Well, if you want to, you can put it to the millionth position. The whole point is to come up with a non-standard ordering under which the set of integers has the same order type as the set of natural numbers under the usual order; in other words, to find an order such that every integer appears at some finite position.
That's a roundabout way of saying it 😂
Where did my comment go? I really need an explanation of how these delta complexes are groups. The fundamental group I get; it's the set of loops in a given space that are not equivalent. The Cn and delta n groups seem to be sets of vertices, but what does it _mean?_ Are we still talking about cycles? What is the group's combination operation? What is the inverse of a vertex? I don't get it, please help!
Presenting oneself in such a careless attire is disrespectful. The knowledge you possess should not lead you to believe that you can disregard social constraints.
The knowledge YOU possess is only obfuscated by your blind adherence to said "social constraints," as well as your self-righteous commitment to enforce this adherence onto others. The professor can present however he pleases.
What "social constraints" are being disregarded? I am not aware of any regulations stating that professors must dress in any certain way.
Tell me you haven’t been inside of a university in the last 60 years without telling me you haven’t been inside of a university in the last 60 years.
Is this lecture series continuing soon? I hope so! It has been really great.
31:30 hold on a second... t=-1 gives you the colorizability determinant! because when you plug it in 1-t (where a section is on top) becomes 2 and t (where a section is underneath, on the left) becomes -1. that's really cool
Spot on!
If there's only one map from a simplex to a point, then why is the group Z? What are these _groups?_
This a group generated by one element, like Z which is generated by 1
Can someone please explain how these delta basis sets are groups? I get the game we are playing with them, i.e. how they are computed, but I have no clue how they are groups. What is the identity? What is the inverse of a point? What does this group act on? What is the group combinator, i.e. the *+* in those expressions? I keep seeing sets of vertices, but what does it _mean?_ I feel like we waltzed right past that and now I have no hope of understanding homology as a consequence. Also what is a kernel and an image, exactly? I can see where he's getting them, but what is their significance?
What great teacher you are❤️Thank you for this lesson 😊👍
To see that ab =/= ba for the figure-8 space note that any homotopy of paths between a and b would have to pass through the basepoint, which means the loop would be contractible. Since the fundamental group of the circle is not trivial this is impossible.
I don't understand how all these delta basis form groups. What are the points in delta 0 acting on, and what is the operation? What's the inverse and identity? What does it mean to multiply them by integers, and is that different from exponentiation in the normal group sense? Why are they all Z and not R? I'm so lost on this one.