Math at Andrews University
Math at Andrews University
  • 200
  • 2 596 427
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
Переглядів: 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 8: Cauchy Sequences
Переглядів 47011 місяців тому
Metric Spaces 8: Cauchy Sequences
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

КОМЕНТАРІ

  • @MichaelSalton
    @MichaelSalton 2 дні тому

    quebec

  • @malak_mohamad.
    @malak_mohamad. 3 дні тому

    اتمنى لو لديك ترجمة عربية شرحك رائع لكن لا افهم اغلب الكلام

  • @izzetcoban5367
    @izzetcoban5367 4 дні тому

  • @xanderlewis
    @xanderlewis 5 днів тому

    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.

    • @xanderlewis
      @xanderlewis 5 днів тому

      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.

  • @xanderlewis
    @xanderlewis 5 днів тому

    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!).

  • @josedavidvillanueva443
    @josedavidvillanueva443 6 днів тому

    Amazing, regards from Spain, you are helping me a lot, thanks.

  • @NothingMaster
    @NothingMaster 7 днів тому

    He has a special relationship with the book. That’s completely understandable. 😅

  • @anthonyheak3479
    @anthonyheak3479 7 днів тому

    Very well explained, thank you!

  • @hyperduality2838
    @hyperduality2838 7 днів тому

    Retraction (convergence, syntropy) is dual to inclusion (divergence, entropy). "Always two there are" -- Yoda. Attraction is dual to repulsion -- forces are dual!

  • @BerryOng
    @BerryOng 7 днів тому

    Yeah, feeling bad about math, so hard and still learning. And hopefully get excited career like Sean said, just starting industry job.

    • @MathatAndrews
      @MathatAndrews 7 днів тому

      Math is hard for all of us! Hang in there - half the battle is just sticking to it.

  • @WorldRecordRapper
    @WorldRecordRapper 8 днів тому

    What is a Union of Union to Learn more about the Ambient Spaces?

  • @dudblock4201
    @dudblock4201 10 днів тому

    Soooo it’s 0?

  • @amedeozappulla6600
    @amedeozappulla6600 10 днів тому

    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.

  • @JasonCunliffe
    @JasonCunliffe 11 днів тому

    big galaxies are knots in process ?

  • @erri58
    @erri58 11 днів тому

    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 ?

  • @bengrange
    @bengrange 14 днів тому

    at 39:00, when you said f and g are homotopy equivalent, did you mean to say homotopic?

    • @bengrange
      @bengrange 14 днів тому

      and at 53:16, you meant "equivalence classes" not relations. Thank you for the great lectures!!

  • @jperez7893
    @jperez7893 15 днів тому

    he did not prove that GF is perpendicular to AE.

  • @filmmyduniya-mf1hq
    @filmmyduniya-mf1hq 15 днів тому

    Can i use max instead of sup bcz the image set is closed and bounded.

  • @johnburton7633
    @johnburton7633 16 днів тому

    WTF 😮

  • @lanchanoinguyen2914
    @lanchanoinguyen2914 17 днів тому

    we all know it's not possible without your group theories

  • @superseondelight
    @superseondelight 19 днів тому

    The only thing that the book lacks is examples. Otherwise the theoretical content is intermediate friendly.

  • @HussainAlRasheed328
    @HussainAlRasheed328 19 днів тому

    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.

    • @hywelgriffiths5747
      @hywelgriffiths5747 День тому

      The circle is one-dimensional, and the neighborhoods of its points are too, and none of them contain any points not on the circle

  • @oscarlama
    @oscarlama 19 днів тому

    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

    • @subrotobhowmik8085
      @subrotobhowmik8085 7 днів тому

      Yes He is a great teacher. I m learning a lot from his lectures ❤

  • @user-ui9fs5ik3u
    @user-ui9fs5ik3u 20 днів тому

    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?

  • @GunsExplosivesnStuff
    @GunsExplosivesnStuff 23 дні тому

    42:31 If x^2 is rational, then we don't need it in the basis anyway so can't we skip this step?

  • @okarakoo
    @okarakoo 24 дні тому

    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 ;-)

  • @GunsExplosivesnStuff
    @GunsExplosivesnStuff 24 дні тому

    This helped me in my life. You have earned a subscriber :)

  • @joefuentes2977
    @joefuentes2977 24 дні тому

    I have no idea what you're talking about but i promise i will

  • @davidhand9721
    @davidhand9721 24 дні тому

    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.

  • @tranngochungdevwannabe
    @tranngochungdevwannabe 25 днів тому

    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.

  • @hamc9477
    @hamc9477 26 днів тому

    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.

  • @ayushmansingh8453
    @ayushmansingh8453 27 днів тому

    damn

  • @hallooichbingal6772
    @hallooichbingal6772 27 днів тому

    This course is the best among all that ive ever had. Thank you

  • @emmanuelifeanyi3678
    @emmanuelifeanyi3678 28 днів тому

    The camera man didn't do a great job

  • @yeast4529
    @yeast4529 28 днів тому

    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.

  • @temp8420
    @temp8420 29 днів тому

    Excellent lecturer and material. I find the Hatcher book detailed but uninspiring

  • @enpeacemusic192
    @enpeacemusic192 Місяць тому

    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.

  • @fslakoh
    @fslakoh Місяць тому

    Great suit. Big effort on the outfit. Well done

  • @temp8420
    @temp8420 Місяць тому

    Seems so clear

  • @davidwright8432
    @davidwright8432 Місяць тому

    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.

    • @MikeRosoftJH
      @MikeRosoftJH 29 днів тому

      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.

  • @joefuentes2977
    @joefuentes2977 Місяць тому

    That's a roundabout way of saying it 😂

  • @davidhand9721
    @davidhand9721 Місяць тому

    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!

  • @fslakoh
    @fslakoh Місяць тому

    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.

    • @carsonnewman7358
      @carsonnewman7358 26 днів тому

      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.

    • @tmjz7327
      @tmjz7327 25 днів тому

      What "social constraints" are being disregarded? I am not aware of any regulations stating that professors must dress in any certain way.

    • @iangreenhoe6611
      @iangreenhoe6611 9 днів тому

      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.

  • @Helmutandmoshe
    @Helmutandmoshe Місяць тому

    Is this lecture series continuing soon? I hope so! It has been really great.

  • @pajrc1234
    @pajrc1234 Місяць тому

    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

  • @davidhand9721
    @davidhand9721 Місяць тому

    If there's only one map from a simplex to a point, then why is the group Z? What are these _groups?_

    • @nonolethug3010
      @nonolethug3010 22 дні тому

      This a group generated by one element, like Z which is generated by 1

  • @davidhand9721
    @davidhand9721 Місяць тому

    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?

  • @Mouse-qm8wn
    @Mouse-qm8wn Місяць тому

    What great teacher you are❤️Thank you for this lesson 😊👍

  • @abebuckingham8198
    @abebuckingham8198 Місяць тому

    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.

  • @davidhand9721
    @davidhand9721 Місяць тому

    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.