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

Lecture

Preimages in a Gluing Construction

In course

MATH-225: Topology II - fundamental groups

On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre le Théorème de Seifert-van Kampen. Des exemples de surf ...

Description

This lecture explores the preimages of closed sets in the disjoint union, focusing on the separability of re-bonding and the pushout diagram. It delves into the identification scenarios and the inclusion of metric spaces.

Instructors (2)

Jérôme Scherer

Dimitri Stelio Wyss

Official source

Related concepts (10)

Metric space

In mathematics, a metric space is a set together with a notion of distance between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane.

Complete metric space

In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M. Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary). For instance, the set of rational numbers is not complete, because e.g. is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below).

Pseudometric space

In mathematics, a pseudometric space is a generalization of a metric space in which the distance between two distinct points can be zero. Pseudometric spaces were introduced by Đuro Kurepa in 1934. In the same way as every normed space is a metric space, every seminormed space is a pseudometric space. Because of this analogy the term semimetric space (which has a different meaning in topology) is sometimes used as a synonym, especially in functional analysis. When a topology is generated using a family of pseudometrics, the space is called a gauge space.

Intrinsic metric

In the mathematical study of metric spaces, one can consider the arclength of paths in the space. If two points are at a given distance from each other, it is natural to expect that one should be able to get from the first point to the second along a path whose arclength is equal to (or very close to) that distance. The distance between two points of a metric space relative to the intrinsic metric is defined as the infimum of the lengths of all paths from the first point to the second.

Category of metric spaces

In , Met is a that has metric spaces as its and metric maps (continuous functions between metric spaces that do not increase any pairwise distance) as its morphisms. This is a category because the composition of two metric maps is again a metric map. It was first considered by . The monomorphisms in Met are the injective metric maps. The epimorphisms are the metric maps for which the domain of the map has a dense in the range. The isomorphisms are the isometries, i.e. metric maps which are injective, surjective, and distance-preserving.

Related lectures (32)

Convergence and Completeness

Covers convergence, completeness, and properties of metric spaces and Banach spaces.

Applied Topology: Compression Schemes and Range Patches

Explores compression schemes, texture recognition, range patches, evolution, and variants on persistence in applied topology.

Hyperbolic Geometry

Introduces hyperbolic geometry, covering complete metric spaces, isometries, and Gaussian curvature in dimension 2.

Probability Convergence

Explores probability convergence, discussing conditions for random variable sequences to converge and the uniqueness of convergence.

Metric spaces: topology