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

Lecture

Path Lifting

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 explains the lifting of paths and loops on covering spaces, focusing on the relationship between the fundamental group of the covering space and the fundamental group of the underlying space. It covers the uniqueness of lifts, the Homotopy Lifting Property, and the Path Lifting Property, providing insights into the injectivity of homomorphisms and the image of the homomorphism. The lecture concludes with a detailed proof of the properties discussed.

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

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (20)

Homotopy

In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from ὁμός "same, similar" and τόπος "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (həˈmɒtəpiː, ; ˈhoʊmoʊˌtoʊpiː, ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces.

Homotopy lifting property

In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as an instance of the right lifting property or the covering homotopy axiom) is a technical condition on a continuous function from a topological space E to another one, B. It is designed to support the picture of E "above" B by allowing a homotopy taking place in B to be moved "upstairs" to E. For example, a covering map has a property of unique local lifting of paths to a given sheet; the uniqueness is because the fibers of a covering map are discrete spaces.

Homotopy group

In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space. To define the n-th homotopy group, the base-point-preserving maps from an n-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes.

Homotopy theory

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and (specifically the study of ). In homotopy theory and algebraic topology, the word "space" denotes a topological space.

Covering space

A covering of a topological space is a continuous map with special properties. Let be a topological space. A covering of is a continuous map such that there exists a discrete space and for every an open neighborhood , such that and is a homeomorphism for every . Often, the notion of a covering is used for the covering space as well as for the map . The open sets are called sheets, which are uniquely determined up to a homeomorphism if is connected. For each the discrete subset is called the fiber of .

Related lectures (32)

Fundamental Groups

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

Topology: Classification of Surfaces and Fundamental Groups

Discusses the classification of surfaces and their fundamental groups using the Seifert-van Kampen theorem and polygonal presentations.

Group Actions: Quotients and Homomorphisms

Discusses group actions, quotients, and homomorphisms, emphasizing practical implications for various groups and the construction of complex projective spaces.

Homotopies & Equivalence Relations

Covers homotopies, fundamental group, and equivalence relations in applications.

Cell Attachment: Large Cell