Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Zorn's lemma

Related lectures (24)

Fundamental Groups

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

Harmonic Forms: Main Theorem

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Cohomology: Cross Product

Explores cohomology and the cross product, demonstrating its application in group actions like conjugation.

Logical Structure: Choice and Bar Induction Principles

Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.

Open Mapping Theorem

Explains the Open Mapping Theorem for holomorphic maps between Riemann surfaces.

Algebraic Curves: Normalization

Covers the normalization process of plane algebraic curves, focusing on irreducible polynomials and affine curves.

Introduction to Proofs

Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.

Introduction to Proofs

Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.

Linear Homogeneous Second Order Equations

Covers linear homogeneous second order differential equations and their solutions, including the concept of the Wronskian.

Proofs: Rules and Applications

Explores rules of inference, quantified statements, and proof methods in logic and mathematics.

Local structure of totally disconnected locally compact groups I

Covers the local structure of totally disconnected locally compact groups, exploring properties and applications.

Local Homeomorphisms and Coverings

Covers the concepts of local homeomorphisms and coverings in manifolds, emphasizing the conditions under which a map is considered a local homeomorphism or a covering.

Functional Analysis I: November 18, 2021 Log in to Mediaspace to watch this video

Covers partially ordered sets, maximal elements, upper bounds, and the Zorn lemma in functional analysis.

Quantum circuit model of computation Log in to Mediaspace to watch this video

Explores the quantum circuit model of computation, focusing on unitary gates and multi-controlled gates.

Coxeter Groups: Spectral Theorem and Sylvester's Criterion Log in to Mediaspace to watch this video

Explores the spectral theorem, Coxeter graphs, eigenvalues, and determinants of positive definite matrices.

Estimating Limits: Lemma 4 Log in to Mediaspace to watch this video

Explores the non-degenerate limit for An(x) as n approaches infinity.

Logarithmic Embedding in Number Fields Log in to Mediaspace to watch this video

Explores the properties and applications of logarithmic embeddings in number fields.

Approximation in Sobolev Spaces Log in to Mediaspace to watch this video

Covers the approximation of functions in Sobolev spaces using smooth functions.

Harmonic Forms and Riemann Surfaces Log in to Mediaspace to watch this video

Explores harmonic forms on Riemann surfaces, covering uniqueness of solutions and the Riemann bilinear identity.

Simple Modules: Schur's Lemma Log in to Mediaspace to watch this video

Covers simple modules, endomorphisms, and Schur's lemma in module theory.