Scheme theory | Binary relations

Quotient by an equivalence relation

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

L2.2. Equivalence relations

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

Video thumbnail

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

Video thumbnail

12 Equivalence relations

Put all three properties of binary relations together and you have an equivalence relation.

From playlist Abstract algebra

Video thumbnail

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

Video thumbnail

Cosets in 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

Video thumbnail

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?

Video thumbnail

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

Video thumbnail

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?

Video thumbnail

Difference Quotient

What is a difference quotient? How to find a difference quotient. Deriving it from the rise over run formula.

From playlist Calculus

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Subset | Binary relation | Transitive relation | Equivalence relation | Power set | Hilbert scheme | Reflexive relation | Mathematics | Set (mathematics) | Coequalizer | Symmetric relation | Algebraic geometry | Categorical quotient | Sheaf (mathematics) | Category theory | Category (mathematics)