Continuous Functions On A Compact Hausdorff Space
In mathematical analysis, and especially functional analysis, a fundamental role is played by the space of continuous functions on a compact Hausdorff space X with values in the real or complex numbers. This space, denoted by \mathcal(X), 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 \, f\, = \sup_ , f(x), , the uniform norm. The uniform norm defines the topology of uniform convergence of functions on X. The space \mathcal(X) is a Banach algebra with respect to this norm. Properties * By Urysohn's lemma, \mathcal(X) separates points of X: If x, y \in X are distinct points, then there is an f \in \mathcal(X) such that f(x) \neq f(y). * The space \mathcal(X) is infinite-dimensional whenever X 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 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematical Analysis
Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (mathematics), series, and analytic functions. These theories are usually studied in the context of Real number, real and Complex number, complex numbers and Function (mathematics), functions. Analysis evolved from calculus, which involves the elementary concepts and techniques of analysis. Analysis may be distinguished from geometry; however, it can be applied to any Space (mathematics), space of mathematical objects that has a definition of nearness (a topological space) or specific distances between objects (a metric space). History Ancient Mathematical analysis formally developed in the 17th century during the Scientific Revolution, but many of its ideas can be traced back to earlier mathematicians. Early results in analysis were i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Continuous Dual Space
In mathematics, any vector space ''V'' has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on ''V'', together with the vector space structure of pointwise addition and scalar multiplication by constants. The dual space as defined above is defined for all vector spaces, and to avoid ambiguity may also be called the . When defined for a topological vector space, there is a subspace of the dual space, corresponding to continuous linear functionals, called the ''continuous dual space''. Dual vector spaces find application in many branches of mathematics that use vector spaces, such as in tensor analysis with finite-dimensional vector spaces. When applied to vector spaces of functions (which are typically infinite-dimensional), dual spaces are used to describe measures, distributions, and Hilbert spaces. Consequently, the dual space is an important concept in functional analysis. Early terms for ''dual'' include ''polarer Raum'' ah ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Equicontinuous
In mathematical analysis, a family of functions is equicontinuous if all the functions are continuous and they have equal variation over a given neighbourhood, in a precise sense described herein. In particular, the concept applies to countable families, and thus ''sequences'' of functions. Equicontinuity appears in the formulation of Ascoli's theorem, which states that a subset of ''C''(''X''), the space of continuous functions on a compact Hausdorff space ''X'', is compact if and only if it is closed, pointwise bounded and equicontinuous. As a corollary, a sequence in ''C''(''X'') is uniformly convergent if and only if it is equicontinuous and converges pointwise to a function (not necessarily continuous a-priori). In particular, the limit of an equicontinuous pointwise convergent sequence of continuous functions ''fn'' on either metric space or locally compact space is continuous. If, in addition, ''fn'' are holomorphic, then the limit is also holomorphic. The uniform bounde ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bounded Set
:''"Bounded" and "boundary" are distinct concepts; for the latter see boundary (topology). A circle in isolation is a boundaryless bounded set, while the half plane is unbounded yet has a boundary. In mathematical analysis and related areas of mathematics, a set is called bounded if it is, in a certain sense, of finite measure. Conversely, a set which is not bounded is called unbounded. The word 'bounded' makes no sense in a general topological space without a corresponding metric Metric or metrical may refer to: * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics In mathem .... A bounded set is not necessarily a closed set and vise versa. For example, a subset ''S'' of a 2-dimensional real space R''2'' constrained by two parabolic curves ''x''2 + 1 and ''x''2 - 1 defined in a Cartesian coordinate system is a closed but is not b ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Relatively Compact
In mathematics, a relatively compact subspace (or relatively compact subset, or precompact subset) of a topological space is a subset whose closure is compact. Properties Every subset of a compact topological space is relatively compact (since a closed subset of a compact space is compact). And in an arbitrary topological space every subset of a relatively compact set is relatively compact. Every compact subset of a Hausdorff space is relatively compact. In a non-Hausdorff space, such as the particular point topology on an infinite set, the closure of a compact subset is ''not'' necessarily compact; said differently, a compact subset of a non-Hausdorff space is not necessarily relatively compact. Every compact subset of a (possibly non-Hausdorff) topological vector space is complete and relatively compact. In the case of a metric topology, or more generally when sequences may be used to test for compactness, the criterion for relative compactness becomes that any sequence in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arzelà–Ascoli Theorem
The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators. The notion of equicontinuity was introduced in the late 19th century by the Italian mathematicians Cesare Arzelà and Giulio Ascoli. A weak form of the theorem was proven by , who established the sufficient condition for compactness, and by , who established the necessary condition and gave the first clear presentation of the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Complete Space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in . 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. \sqrt is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below). It is always possible to "fill all the holes", leading to the ''completion'' of a given space, as explained below. Definition Cauchy sequence A sequence x_1, x_2, x_3, \ldots in a metric space (X, d) is called Cauchy if for every positive real number r > 0 there is a positive integer N such that for all positive integers m, n > N, d\left(x_m, x_n\right) < r. Complete space A metric space is complete if any of the following equivalent conditions are satisfied: :#Every [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Weak Topology
In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space (such as a normed vector space) with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis. One may call subsets of a topological vector space weakly closed (respectively, weakly compact, etc.) if they are closed (respectively, compact, etc.) with respect to the weak topology. Likewise, functions are sometimes called weakly continuous (respectively, weakly differentiable, weakly analytic, etc.) if they are continuous (respectively, differentiable, analytic, etc.) with respect to the weak topology. History Starting in the early 1900s, David Hilbert and Marcel Riesz made extensive use of weak convergence. The early pioneers o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reflexive Space
In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space (TVS) for which the canonical evaluation map from X into its bidual (which is the strong dual of the strong dual of X) is an isomorphism of TVSs. Since a normable TVS is reflexive if and only if it is semi-reflexive, every normed space (and so in particular, every Banach space) X is reflexive if and only if the canonical evaluation map from X into its bidual is surjective; in this case the normed space is necessarily also a Banach space. In 1951, R. C. James discovered a Banach space, now known as James' space, that is reflexive but is nevertheless isometrically isomorphic to its bidual (any such isomorphism is thus necessarily the canonical evaluation map). Reflexive spaces play an important role in the general theory of locally convex TVSs and in the theory of Banach spaces in particular. Hilbert spaces are prominent examples of reflexive Banach spaces. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Regular Measure
In mathematics, a regular measure on a topological space is a measure for which every measurable set can be approximated from above by open measurable sets and from below by compact measurable sets. Definition Let (''X'', ''T'') be a topological space and let Σ be a σ-algebra on ''X''. Let ''μ'' be a measure on (''X'', Σ). A measurable subset ''A'' of ''X'' is said to be inner regular if :\mu (A) = \sup \ and said to be outer regular if :\mu (A) = \inf \ *A measure is called inner regular if every measurable set is inner regular. Some authors use a different definition: a measure is called inner regular if every open measurable set is inner regular. *A measure is called outer regular if every measurable set is outer regular. *A measure is called regular if it is outer regular and inner regular. Examples Regular measures * Lebesgue measure on the real line is a regular measure: see the regularity theorem for Lebesgue measure. * Any Baire probability m ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Positive Linear Functional
In mathematics, more specifically in functional analysis, a positive linear functional on an ordered vector space (V, \leq) is a linear functional f on V so that for all positive elements v \in V, that is v \geq 0, it holds that f(v) \geq 0. In other words, a positive linear functional is guaranteed to take nonnegative values for positive elements. The significance of positive linear functionals lies in results such as Riesz–Markov–Kakutani representation theorem. When V is a complex vector space, it is assumed that for all v\ge0, f(v) is real. As in the case when V is a C*-algebra with its partially ordered subspace of self-adjoint elements, sometimes a partial order is placed on only a subspace W\subseteq V, and the partial order does not extend to all of V, in which case the positive elements of V are the positive elements of W, by abuse of notation. This implies that for a C*-algebra, a positive linear functional sends any x \in V equal to s^s for some s \in V to a real nu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ba Space
In mathematics, the ba space ba(\Sigma) of an algebra of sets \Sigma is the Banach space consisting of all bounded and finitely additive signed measures on \Sigma. The norm is defined as the variation, that is \, \nu\, =, \nu, (X). If Σ is a sigma-algebra, then the space ca(\Sigma) is defined as the subset of ba(\Sigma) consisting of countably additive measures. The notation ''ba'' is a mnemonic for ''bounded additive'' and ''ca'' is short for ''countably additive''. If ''X'' is a topological space, and Σ is the sigma-algebra of Borel sets in ''X'', then rca(X) is the subspace of ca(\Sigma) consisting of all regular Borel measures on ''X''. Properties All three spaces are complete (they are Banach spaces) with respect to the same norm defined by the total variation, and thus ca(\Sigma) is a closed subset of ba(\Sigma), and rca(X) is a closed set of ca(\Sigma) for Σ the algebra of Borel sets on ''X''. The space of simple functions on \Sigma is dense in ba(\Sigma). T ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |