Measure of non-compactness

Last updated

In functional analysis, two measures of non-compactness are commonly used; these associate numbers to sets in such a way that compact sets all get the measure 0, and other sets get measures that are bigger according to "how far" they are removed from compactness.

The underlying idea is the following: a bounded set can be covered by a single ball of some radius. Sometimes several balls of a smaller radius can also cover the set. A compact set in fact can be covered by finitely many balls of arbitrary small radius, because it is totally bounded. So one could ask: what is the smallest radius that allows to cover the set with finitely many balls?

Formally, we start with a metric space M and a subset X. The ball measure of non-compactness is defined as

α(X) = inf {r > 0 : there exist finitely many balls of radius r which cover X}

and the Kuratowski measure of non-compactness is defined as

β(X) = inf {d > 0 : there exist finitely many sets of diameter at most d which cover X}

Since a ball of radius r has diameter at most 2r, we have α(X) ≤ β(X) ≤ 2α(X).

The two measures α and β share many properties, and we will use γ in the sequel to denote either one of them. Here is a collection of facts:

Measures of non-compactness are most commonly used if M is a normed vector space. In this case, we have in addition:

Note that these measures of non-compactness are useless for subsets of Euclidean space Rn: by the Heine–Borel theorem, every bounded closed set is compact there, which means that γ(X) = 0 or ∞ according to whether X is bounded or not.

Measures of non-compactness are however useful in the study of infinite-dimensional Banach spaces, for example. In this context, one can prove that any ball B of radius r has α(B) = r and β(B) = 2r.

See also

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well defined limit that is within the 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.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

In mathematics, a base for the topology τ of a topological space (X, τ) is a family of open subsets of X such that every open set of the topology is equal to the union of some sub-family of . For example, the set of all open intervals in the real number line is a basis for the Euclidean topology on because every open interval is an open set, and also every open subset of can be written as a union of some family of open intervals.

In real analysis the Heine–Borel theorem, named after Eduard Heine and Émile Borel, states:

Ball (mathematics) Volume space bounded by a sphere

In mathematics, a ball is the solid figure bounded by a sphere; it is also called a solid sphere. It may be a closed ball or an open ball.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

In mathematics, Hausdorff measure is a generalization of the traditional notions of area and volume to non-integer dimensions, specifically fractals and their Hausdorff dimensions. It is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in or, more generally, in any metric space.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem states that the closed unit ball of the dual space of a normed vector space is compact in the weak* topology. A common proof identifies the unit ball with the weak-* topology as a closed subset of a product of compact sets with the product topology. As a consequence of Tychonoff's theorem, this product, and hence the unit ball within, is compact.

In mathematics, an amenable group is a locally compact topological group G carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive measure on subsets of G, was introduced by John von Neumann in 1929 under the German name "messbar" in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun on "mean".

In mathematics, infinite-dimensional holomorphy is a branch of functional analysis. It is concerned with generalizations of the concept of holomorphic function to functions defined and taking values in complex Banach spaces, typically of infinite dimension. It is one aspect of nonlinear functional analysis.

In topology and related branches of mathematics, total-boundedness is a generalization of compactness for circumstances in which a set is not necessarily closed. A totally bounded set can be covered by finitely many subsets of every fixed “size”.

In mathematics, a real or complex-valued function f on d-dimensional Euclidean space satisfies a Hölder condition, or is Hölder continuous, when there are nonnegative real constants C, α > 0, such that

Riesz's lemma is a lemma in functional analysis. It specifies conditions that guarantee that a subspace in a normed vector space is dense. The lemma may also be called the Riesz lemma or Riesz inequality. It can be seen as a substitute for orthogonality when one is not in an inner product space.

In mathematics, there is a theorem stating that there is no analogue of Lebesgue measure on an infinite-dimensional Banach space. Other kinds of measures are therefore used on infinite-dimensional spaces: often, the abstract Wiener space construction is used. Alternatively, one may consider Lebesgue measure on finite-dimensional subspaces of the larger space and consider so-called prevalent and shy sets.

In Riemannian geometry, the filling radius of a Riemannian manifold X is a metric invariant of X. It was originally introduced in 1983 by Mikhail Gromov, who used it to prove his systolic inequality for essential manifolds, vastly generalizing Loewner's torus inequality and Pu's inequality for the real projective plane, and creating systolic geometry in its modern form.

The analyst's traveling salesman problem is an analog of the traveling salesman problem in combinatorial optimization. In its simplest and original form, it asks which plane sets are subsets of rectifiable curves of finite length. Whereas the original traveling salesman problem asks for the shortest way to visit every vertex in a finite set with a discrete path, this analytical version may require the curve to visit infinitely many points.

Martin Hairer's theory of regularity structures provides a framework for studying a large class of subcritical parabolic stochastic partial differential equations arising from quantum field theory. The framework covers the Kardar–Parisi–Zhang equation, the equation and the parabolic Anderson model, all of which require renormalization in order to have a well-defined notion of solution.

In mathematics, Kuratowski's intersection theorem is a result in general topology that gives a sufficient condition for a nested sequence of sets to have a non-empty intersection. Kuratowski's result is a generalisation of Cantor's intersection theorem. Whereas Cantor's result requires that the sets involved be compact, Kuratowski's result allows them to be non-compact, but insists that their non-compactness “tends to zero” in an appropriate sense. The theorem is named for the Polish mathematician Kazimierz Kuratowski, who proved it in 1930.

References

  1. Józef Banaś, Kazimierz Goebel: Measures of noncompactness in Banach spaces, Institute of Mathematics, Polish Academy of Sciences, Warszawa 1979
  2. Kazimierz Kuratowski: Topologie Vol I, PWN. Warszawa 1958
  3. R.R. Akhmerov, M.I. Kamenskii, A.S. Potapova, A.E. Rodkina and B.N. Sadovskii, Measure of Noncompactness and Condensing Operators, Birkhäuser, Basel 1992
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.