In mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets. Some authors require additional restrictions on the measure, as described below.
In measure theory, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of n-dimensional Euclidean space. For n = 1, 2, or 3, it coincides with the standard measure of length, area, or volume. In general, it is also called n-dimensional volume, n-volume, or simply volume. It is used throughout real analysis, in particular to define Lebesgue integration. Sets that can be assigned a Lebesgue measure are called Lebesgue-measurable; the measure of the Lebesgue-measurable set A is here denoted by λ(A).
In mathematical analysis, a null set is a set that can be covered by a countable union of intervals of arbitrarily small total length. The notion of null set in set theory anticipates the development of Lebesgue measure since a null set necessarily has measure zero. More generally, on a given measure space a null set is a set such that .
In mathematics, real analysis is the branch of mathematical analysis that studies the behavior of real numbers, sequences and series of real numbers, and real-valued functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.
In mathematics and in particular measure theory, a measurable function is a function between two measurable spaces such that the preimage of any measurable set is measurable, analogously to the definition that a function between topological spaces is continuous if the preimage of each open set is open. In real analysis, measurable functions are used in the definition of the Lebesgue integral. In probability theory, a measurable function on a probability space is known as a random variable.
In mathematics, the affinely extended real number system is obtained from the real number system ℝ by adding two elements: + ∞ and − ∞. These new elements are not real numbers. It is useful in describing various limiting behaviors in calculus and mathematical analysis, especially in the theory of measure and integration. The affinely extended real number system is denoted or [−∞, +∞] or ℝ ∪ {−∞, +∞}.
In mathematics, the real line, or real number line is the line whose points are the real numbers. That is, the real line is the set R of all real numbers, viewed as a geometric space, namely the Euclidean space of dimension one. It can be thought of as a vector space, a metric space, a topological space, a measure space, or a linear continuum.
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f : U → R where U is an open subset of Rn that satisfies Laplace's equation, i.e.
In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. Another name for general topology is point-set topology.
In mathematics, a Baire space is a topological space such that every intersection of a countable collection of open dense sets in the space is also dense. Complete metric spaces and locally compact Hausdorff spaces are examples of Baire spaces according to the Baire category theorem. The spaces are named in honor of René-Louis Baire who introduced the concept.
In mathematics, the isoperimetric inequality is a geometric inequality involving the surface area of a set and its volume. In -dimensional space the inequality lower bounds the surface area of a set by its volume ,
In mathematics, specifically in harmonic analysis and the theory of topological groups, Pontryagin duality explains the general properties of the Fourier transform on locally compact abelian groups, such as , the circle, or finite cyclic groups. The Pontryagin duality theorem itself states that locally compact abelian groups identify naturally with their bidual.
In mathematics, 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.
In topology, a branch of mathematics, a topological manifold is a topological space which locally resembles real n-dimensional space in a sense defined below. Topological manifolds form an important class of topological spaces with applications throughout mathematics. All manifolds are topological manifolds by definition, but many manifolds may be equipped with additional structure. When the phrase "topological manifold" is used, it is usually done to emphasize that the manifold does not have any additional structure, or that only the "underlying" topological manifold is being considered. Every manifold has an "underlying" topological manifold, gotten by simply "forgetting" any additional structure the manifold has.
Affine geometry, broadly speaking, is the study of the geometrical properties of lines, planes, and their higher dimensional analogs, in which a notion of "parallel" is retained, but no metrical notions of distance or angle are. Affine spaces differ from linear spaces in that they do not have a distinguished choice of origin. So, in the words of Marcel Berger, "An affine space is nothing more than a vector space whose origin we try to forget about, by adding translations to the linear maps." Accordingly, a complex affine space, that is an affine space over the complex numbers, is like a complex vector space, but without a distinguished point to serve as the origin.
In mathematics, Gaussian measure is a Borel measure on finite-dimensional Euclidean space Rn, closely related to the normal distribution in statistics. There is also a generalization to infinite-dimensional spaces. Gaussian measures are named after the German mathematician Carl Friedrich Gauss. One reason why Gaussian measures are so ubiquitous in probability theory is the Central Limit Theorem. Loosely speaking, it states that if a random variable X is obtained by summing a large number N of independent random variables of order 1, then X is of order and its law is approximately Gaussian.
In mathematics, the capacity of a set in Euclidean space is a measure of that set's "size". Unlike, say, Lebesgue measure, which measures a set's volume or physical extent, capacity is a mathematical analogue of a set's ability to hold electrical charge. More precisely, it is the capacitance of the set: the total charge a set can hold while maintaining a given potential energy. The potential energy is computed with respect to an idealized ground at infinity for the harmonic or Newtonian capacity, and with respect to a surface for the condenser capacity.
In the branch of mathematics known as potential theory, a Dirichlet form is a generalization of the Laplacian that can be defined on every measure space, without the need for mentioning partial derivatives. This allows mathematicians to study the Laplace equation and heat equation on spaces that are not manifolds: for example, fractals. To accomplish this generalization, one focuses not on the Laplacian itself but on the quantity
In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the x-axis. The Lebesgue integral extends the integral to a larger class of functions. It also extends the domains on which these functions can be defined.
