**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.

Concept# Continuous functions on a compact Hausdorff space

Summary

In mathematical analysis, and especially functional analysis, a fundamental role is played by the space of continuous functions on a compact Hausdorff space with values in the real or complex numbers. This space, denoted by is a vector space with respect to the pointwise addition of functions and scalar multiplication by constants. It is, moreover, a normed space with norm defined by
the uniform norm. The uniform norm defines the topology of uniform convergence of functions on The space is a Banach algebra with respect to this norm.
By Urysohn's lemma, separates points of : If are distinct points, then there is an such that
The space is infinite-dimensional whenever is an infinite space (since it separates points). Hence, in particular, it is generally not locally compact.
The Riesz–Markov–Kakutani representation theorem gives a characterization of the continuous dual space of Specifically, this dual space is the space of Radon measures on (regular Borel measures), denoted by This space, with the norm given by the total variation of a measure, is also a Banach space belonging to the class of ba spaces.
Positive linear functionals on correspond to (positive) regular Borel measures on by a different form of the Riesz representation theorem.
If is infinite, then is not reflexive, nor is it weakly complete.
The Arzelà–Ascoli theorem holds: A subset of is relatively compact if and only if it is bounded in the norm of and equicontinuous.
The Stone–Weierstrass theorem holds for In the case of real functions, if is a subring of that contains all constants and separates points, then the closure of is In the case of complex functions, the statement holds with the additional hypothesis that is closed under complex conjugation.
If and are two compact Hausdorff spaces, and is a homomorphism of algebras which commutes with complex conjugation, then is continuous. Furthermore, has the form for some continuous function In particular, if and are isomorphic as algebras, then and are homeomorphic topological spaces.

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (4)

Related publications (10)

Related concepts (3)

Related lectures (32)

MATH-100(a): Advanced analysis I

Nous étudions les concepts fondamentaux de l'analyse, le calcul différentiel et intégral de fonctions réelles d'une variable.

MATH-101(en): Analysis I (English)

We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable.

MATH-105(a): Advanced analysis II

Etudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.

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.

Radon measure

In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a Hausdorff topological space X that is finite on all compact sets, outer regular on all Borel sets, and inner regular on open sets. These conditions guarantee that the measure is "compatible" with the topology of the space, and most measures used in mathematical analysis and in number theory are indeed Radon measures.

Uniform convergence

In the mathematical field of analysis, uniform convergence is a mode of convergence of functions stronger than pointwise convergence. A sequence of functions converges uniformly to a limiting function on a set as the function domain if, given any arbitrarily small positive number , a number can be found such that each of the functions differs from by no more than at every point in .

Function Approximations

Covers continuous functions with compact support, density, and approximation, focusing on the heat equation.

Preliminaries in Measure Theory

Covers the preliminaries in measure theory, including loc comp, separable, complete metric space, and tightness concepts.

Generalized Integrals: Bounded Interval

Introduces generalized integrals on a bounded interval, discussing convergence, divergence, comparison criteria, variable substitution, and corollaries.

Conjugation spaces are topological spaces equipped with an involution such that their fixed points have the same mod 2 cohomology (as a graded vector space, a ring and even an unstable algebra) but with all degrees divided by two, generalizing the classica ...

A decomposition of multicorrelation sequences for commuting transformations along primes, Discrete Analysis 2021:4, 27 pp. Szemerédi's theorem asserts that for every positive integer $k$ and every $\delta>0$ there exists $n$ such that every subset of ${1, ...

2021Since the birth of Information Theory, researchers have defined and exploited various information measures, as well as endowed them with operational meanings. Some were born as a "solution to a problem", like Shannon's Entropy and Mutual Information. Other ...