Scheme theory | Binary relations
In mathematics, given a category C, a quotient of an object X by an equivalence relation is a coequalizer for the pair of maps where R is an object in C and "f is an equivalence relation" means that, for any object T in C, the image (which is a set) of is an equivalence relation; that is, a reflexive, symmetric and transitive relation. The basic case in practice is when C is the category of all schemes over some scheme S. But the notion is flexible and one can also take C to be the category of sheaves. (Wikipedia).
Fundamentals of Mathematics - Lecture 26: Well-Definedness
course page: https://www.uvm.edu/~tdupuy/logic/Math52-Fall2017.html videography - Eric Melton, UVM
From playlist Fundamentals of Mathematics
Fundamentals of Mathematics - Lecture 25: Quotient Maps (Real Projective Line, Modular Arithmetic)
course page - https://www.uvm.edu/~tdupuy/logic/Math52-Fall2017.html videography - Eric Melton, UVM
From playlist Fundamentals of Mathematics
The picture in the lecture was taken from Wikipedia: https://en.wikipedia.org/wiki/Demographics_of_the_United_States#/media/File:USA2020dec1.png
From playlist Abstract Algebra 1
Cosets and equivalence class proof
Now that we have shown that the relation on G is an equivalence relation ( https://www.youtube.com/watch?v=F7OgJi6o9po ), we can go on to prove that the equivalence class containing an element is the same as the corresponding set on H (a subset of G).
From playlist Abstract algebra
Put all three properties of binary relations together and you have an equivalence relation.
From playlist Abstract algebra
Equivalence Relations Definition and Examples
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Equivalence Relations Definition and Examples. This video starts by defining a relation, reflexive relation, symmetric relation, transitive relation, and then an equivalence relation. Several examples are given.
From playlist Abstract Algebra
In this first video on cosets, I show you the equivalence relation on a group, G, that will turn out to create equivalence classes, which are actually cosets. We will prove later that these equivalence classes created by an element in the group, G, are equal to the set of element made up
From playlist Abstract algebra
What is a Manifold? Lesson 14: Quotient Spaces
I AM GOING TO REDO THIS VIDEO. I have made some annotations here and annotations are not visible on mobile devices. STAY TUNED. This is a long lesson about an important topological concept: quotient spaces.
From playlist What is a Manifold?
Set Theory (Part 6): Equivalence Relations and Classes
Please feel free to leave comments/questions on the video and practice problems below! In this video, I set up equivalence relations and the canonical mapping. The idea of equivalence relation will return when we construct higher-level number systems, e.g.integers, from the natural number
From playlist Set Theory by Mathoma
What is a Manifold? Lesson 15: The cylinder as a quotient space
What is a Manifold? Lesson 15: The cylinder as a quotient space This lesson covers several different ideas on the way to showing how the cylinder can be described as a quotient space. Lot's of ideas in this lecture! ... too many probably....
From playlist What is a Manifold?
What is a difference quotient? How to find a difference quotient. Deriving it from the rise over run formula.
From playlist Calculus
Geometry of Surfaces - Topological Surfaces Lecture 2 : Oxford Mathematics 3rd Year Student Lecture
This is the second of four lectures from Dominic Joyce's 3rd Year Geometry of Surfaces course. The four lectures cover topological surfaces and conclude with a big result, namely the classification of surfaces. This lectures covers building topological surfaces by gluing sides of polygons.
From playlist Oxford Mathematics Student Lectures - Geometry of Surfaces
MAST30026 Lecture 11: Hausdorff spaces (Part 2)
This lecture contains the first half of the proof that a finite CW-complex is a Hausdorff space. Lecture notes: http://therisingsea.org/notes/mast30026/lecture11.pdf The class webpage: http://therisingsea.org/post/mast30026/ Have questions? I hold free public online office hours for this
From playlist MAST30026 Metric and Hilbert spaces
Towards a modular "2 realizations" equivalence - Simon Riche
Geometric and Modular Representation Theory Seminar Topic: Towards a modular "2 realizations" equivalence Speaker: Simon Riche Affiliation: Université Clermont Auvergne; Member, School of Mathematics Date: May 05, 2021 For more video please visit http://video.ias.edu
From playlist Seminar on Geometric and Modular Representation Theory
MAST30026 Lecture 7: Constructing topological spaces (Part 2)
I defined the disjoint union of topological spaces, quotient spaces and the pushout. Lecture notes: http://therisingsea.org/notes/mast30026/lecture7.pdf The class webpage: http://therisingsea.org/post/mast30026/ Have questions? I hold free public online office hours for this class, every
From playlist MAST30026 Metric and Hilbert spaces
Proving a Relation is an Equivalence Relation | Example 2
In this video, we practice another example of proving a relation is in fact an equivalence relation. Enjoy! Instagram: https://www.instagram.com/braingainzofficial
From playlist Proofs
Towards derived Satake equivalence for symmetric varieties - Tsao-Hsien Chen
Workshop on Representation Theory and Geometry Topic: Towards derived Satake equivalence for symmetric varieties Speaker: Tsao-Hsien Chen Affiliation: University of Minnesota; Member, School of Mathematics Date: April 03, 2021 For more video please visit http://video.ias.edu
From playlist Mathematics