Table of Contents
Fetching ...

An Elementary Expository Study: From Metric Spaces to Hilbert Spaces

Ismail Gemaledin, Iusuf Gemaledin

TL;DR

This paper provides an elementary, accessible exposition of metric spaces and the topologies they induce, tracing how distance, convergence, and continuity give rise to open and closed sets and to broader topological structure. It develops the core notions of metrics and pseudo-metrics, introduces metric and topological equivalence, and demonstrates how different metrics can yield the same topology through concrete examples on finite and infinite-dimensional spaces. It then connects subspaces, bounded metrics, and product constructions to build up to the infinite-dimensional Hilbert space $H=\{u=(u_i):\sum_i u_i^2<\infty\}$, embedding $\mathbb{R}^n$ as subspaces and proving fundamental inequalities like Cauchy–Schwarz. The results establish foundational tools for analysis and topology and provide a coherent path from elementary metric spaces to the structure of Hilbert spaces with explicit, constructive examples.

Abstract

Metric spaces are a fundamental component of mathematics and have a paramount importance as a framework for measuring distance. They can be found in many different branches of mathematics, such as analysis and topology. This paper offers an elementary exposition of metric spaces and their associated topologies. We start by recalling the basic axioms through which we understand a metric and examine various examples. The induced topology is next discussed with emphasis on open and closed sets, continuity and limits. In addition, we compare equivalent metric spaces and illustrate how different metrics can generate but the same topological structure. The presentation is designed to be easy to follow and accessible to undergraduate students, by combining classical definitions with illustrative examples that allow a deeper understanding of the aforementioned concepts.

An Elementary Expository Study: From Metric Spaces to Hilbert Spaces

TL;DR

This paper provides an elementary, accessible exposition of metric spaces and the topologies they induce, tracing how distance, convergence, and continuity give rise to open and closed sets and to broader topological structure. It develops the core notions of metrics and pseudo-metrics, introduces metric and topological equivalence, and demonstrates how different metrics can yield the same topology through concrete examples on finite and infinite-dimensional spaces. It then connects subspaces, bounded metrics, and product constructions to build up to the infinite-dimensional Hilbert space , embedding as subspaces and proving fundamental inequalities like Cauchy–Schwarz. The results establish foundational tools for analysis and topology and provide a coherent path from elementary metric spaces to the structure of Hilbert spaces with explicit, constructive examples.

Abstract

Metric spaces are a fundamental component of mathematics and have a paramount importance as a framework for measuring distance. They can be found in many different branches of mathematics, such as analysis and topology. This paper offers an elementary exposition of metric spaces and their associated topologies. We start by recalling the basic axioms through which we understand a metric and examine various examples. The induced topology is next discussed with emphasis on open and closed sets, continuity and limits. In addition, we compare equivalent metric spaces and illustrate how different metrics can generate but the same topological structure. The presentation is designed to be easy to follow and accessible to undergraduate students, by combining classical definitions with illustrative examples that allow a deeper understanding of the aforementioned concepts.

Paper Structure

This paper contains 10 sections, 51 theorems, 153 equations, 1 figure.

Key Result

Theorem 3.3

Let $(X, d)$ be our metric space, where $d$ is our metric. We then have $\tilde{d} : X \times X \to \mathbb{R}, where:$$\tilde{d}(x, y) = \min \{ d(x, y), 1 \}.$ Both metric $d$ and metric $\tilde{d}$ induce the same topology.

Figures (1)

  • Figure 1: An open set $O$ in a metric space that contains an open ball $B(a; \delta)$ around each of its points.

Theorems & Definitions (207)

  • Definition 2.1: see MendelsonMunkresKasrielArmstrongWardViro
  • Remark 2.1.1
  • Remark 2.1.2
  • Remark 2.1.3
  • Remark 2.1.4
  • Example 2.1: see Schaum
  • Example 2.2: see Kasriel
  • Example 2.3: see Schaum
  • Example 2.4: see Kasriel
  • Remark 2.1.5: see Kasriel
  • ...and 197 more