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

Lecture

Contracting Subspaces

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 focuses on proving the homotopy extension property for a pair of topological spaces, where one space is contractable. The instructor demonstrates how the quotient map from the original space to the space quotiented by the contractable subspace is a homotopy equivalence, providing a detailed proof with technical insights and examples.

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 (29)

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 extension property

In mathematics, in the area of algebraic topology, the homotopy extension property indicates which homotopies defined on a subspace can be extended to a homotopy defined on a larger space. The homotopy extension property of cofibrations is dual to the homotopy lifting property that is used to define fibrations. Let be a topological space, and let . We say that the pair has the homotopy extension property if, given a homotopy and a map such that then there exists an extension of to a homotopy such that .

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.

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.

Weak equivalence (homotopy theory)

In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a . A model category is a with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms.

Related lectures (34)

Topology: Homotopy and Projective Spaces

Discusses homotopy, projective spaces, and the universal property of quotient spaces in topology.

Homotopy Theory: Cylinders and Path Objects

Covers cylinders, path objects, and homotopy in model categories.

Topology: Homotopy and Cone Attachments

Discusses homotopy and cone attachments in topology, emphasizing their significance in understanding connected components and fundamental groups.

Homotopy Category of a Model Category

Introduces the homotopy category of a model category with inverted weak equivalences and unique homotopy equivalences.

Topology: Fundamental Groups and Surfaces