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

Lecture

Lifting Criterion

In course

MATH-323: Topology III - Homology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its properties and learn how to compute it. There will be m ...

Description

This lecture introduces the lifting criterion in the context of covering spaces and continuous maps. It explains the concept of a space having a certain property locally, such as being locally path connected. The lifting criterion states that a map from a path-connected and locally path-connected topological space can be lifted to a covering space if certain conditions on the fundamental groups are met. The proof involves constructing an explicit lift of the map and showing its continuity. The lecture emphasizes the importance of the space being locally path connected for the lifting process. By following a detailed step-by-step approach, the instructor demonstrates how to determine if a map can be lifted based on fundamental group properties.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Instructor

Leonid Monin

Official source

Related concepts (31)

Topological vector space

In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations (vector addition and scalar multiplication) are also continuous functions. Such a topology is called a and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness.

Topological space

In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness.

Complete topological vector space

In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by or , which are generalizations of , while "point towards which they all get closer" means that this Cauchy net or filter converges to The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces.

Connected space

In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that are used to distinguish topological spaces. A subset of a topological space is a if it is a connected space when viewed as a subspace of . Some related but stronger conditions are path connected, simply connected, and -connected.

Bounded set (topological vector space)

In functional analysis and related areas of mathematics, a set in a topological vector space is called bounded or von Neumann bounded, if every neighborhood of the zero vector can be inflated to include the set. A set that is not bounded is called unbounded. Bounded sets are a natural way to define locally convex polar topologies on the vector spaces in a dual pair, as the polar set of a bounded set is an absolutely convex and absorbing set. The concept was first introduced by John von Neumann and Andrey Kolmogorov in 1935.

Related lectures (51)

Fundamental Groups

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

Group Actions and Fundamental Groups

Delves into group actions, coverings, fundamental groups, and homomorphisms in topological spaces.

Homology of Riemann Surfaces

Explores the homology of Riemann surfaces, including singular homology and the standard n-simplex.

Base B for X: Connected Sets and Open Bases

Explores the concept of a base B for a topological space X and the properties of connected sets and open bases.

Topology: Classification of Surfaces and Fundamental Groups