|
Metric Outer Measure
In mathematics, a metric outer measure is an outer measure ''μ'' defined on the subsets of a given metric space (''X'', ''d'') such that :\mu (A \cup B) = \mu (A) + \mu (B) for every pair of positively separated subsets ''A'' and ''B'' of ''X''. Construction of metric outer measures Let ''τ'' : Σ → [0, +∞] be a set function defined on a class Σ of subsets of ''X'' containing the empty set ∅, such that ''τ''(∅) = 0. One can show that the set function ''μ'' defined by :\mu (E) = \lim_ \mu_ (E), where :\mu_ (E) = \inf \left\, is not only an outer measure, but in fact a metric outer measure as well. (Some authors prefer to take a supremum over ''δ'' > 0 rather than a Limit of a function, limit as ''δ'' → 0; the two give the same result, since ''μ''''δ''(''E'') increases as ''δ'' decreases.) For the function ''τ'' one can use : \tau(C) = \operatorname (C)^s,\, where ''s'' is a positive constant; t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Outer Measure
In the mathematical field of measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. The theory of outer measures was first introduced by Constantin Carathéodory to provide an abstract basis for the theory of measurable sets and countably additive measures. Carathéodory's work on outer measures found many applications in measure-theoretic set theory (outer measures are for example used in the proof of the fundamental Carathéodory's extension theorem), and was used in an essential way by Hausdorff to define a dimension-like metric invariant now called Hausdorff dimension. Outer measures are commonly used in the field of geometric measure theory. Measures are generalizations of length, area and volume, but are useful for much more abstract and irregular sets than intervals in \mathbb or balls in \mathbb^. One might expect to define a generaliz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ''B''. The relationship of one set being a subset of another is called inclusion (or sometimes containment). ''A'' is a subset of ''B'' may also be expressed as ''B'' includes (or contains) ''A'' or ''A'' is included (or contained) in ''B''. A ''k''-subset is a subset with ''k'' elements. The subset relation defines a partial order on sets. In fact, the subsets of a given set form a Boolean algebra (structure), Boolean algebra under the subset relation, in which the join and meet are given by Intersection (set theory), intersection and Union (set theory), union, and the subset relation itself is the Inclusion (Boolean algebra), Boolean inclusion relation. Definition If ''A'' and ''B'' are sets and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric 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 or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Positively Separated
In mathematics, two non-empty subsets ''A'' and ''B'' of a given metric space (''X'', ''d'') are said to be positively separated if the infimum :\inf_ d(a, b) > 0. (Some authors also specify that ''A'' and ''B'' should be disjoint sets; however, this adds nothing to the definition, since if ''A'' and ''B'' have some common point ''p'', then ''d''(''p'', ''p'') = 0, and so the infimum above is clearly 0 in that case.) For example, on the real line with the usual distance, the open interval In mathematics, a (real) interval is a set of real numbers that contains all real numbers lying between any two numbers of the set. For example, the set of numbers satisfying is an interval which contains , , and all numbers in between. Other ...s (0, 2) and (3, 4) are positively separated, while (3, 4) and (4, 5) are not. In two dimensions, the graph of ''y'' = 1/''x'' for ''x'' > 0 and the ''x''-axis are not positively separa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supremum
In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest lower bound'' (abbreviated as ) is also commonly used. The supremum (abbreviated sup; plural suprema) of a subset S of a partially ordered set P is the least element in P that is greater than or equal to each element of S, if such an element exists. Consequently, the supremum is also referred to as the ''least upper bound'' (or ). The infimum is in a precise sense dual to the concept of a supremum. Infima and suprema of real numbers are common special cases that are important in analysis, and especially in Lebesgue integration. However, the general definitions remain valid in the more abstract setting of order theory where arbitrary partially ordered sets are considered. The concepts of infimum and supremum are close to minimum and max ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Limit Of A Function
Although the function (sin ''x'')/''x'' is not defined at zero, as ''x'' becomes closer and closer to zero, (sin ''x'')/''x'' becomes arbitrarily close to 1. In other words, the limit of (sin ''x'')/''x'', as ''x'' approaches zero, equals 1. In mathematics, the limit of a function is a fundamental concept in calculus and analysis concerning the behavior of that function near a particular input. Formal definitions, first devised in the early 19th century, are given below. Informally, a function ''f'' assigns an output ''f''(''x'') to every input ''x''. We say that the function has a limit ''L'' at an input ''p,'' if ''f''(''x'') gets closer and closer to ''L'' as ''x'' moves closer and closer to ''p''. More specifically, when ''f'' is applied to any input ''sufficiently'' close to ''p'', the output value is forced ''arbitrarily'' close to ''L''. On the other hand, if some inputs very close to ''p'' are taken to outputs that stay a fixed distance apart, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Power Set
In mathematics, the power set (or powerset) of a set is the set of all subsets of , including the empty set and itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set. The powerset of is variously denoted as , , , \mathbb(S), or . The notation , meaning the set of all functions from S to a given set of two elements (e.g., ), is used because the powerset of can be identified with, equivalent to, or bijective to the set of all the functions from to the given two elements set. Any subset of is called a ''family of sets'' over . Example If is the set , then all the subsets of are * (also denoted \varnothing or \empty, the empty set or the null set) * * * * * * * and hence the power set of is . Properties If is a finite set with the cardinality (i.e., the number of all elements in the set is ), then the number of all the subsets of is . This fact as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carathéodory's Extension Theorem
In measure theory, Carathéodory's extension theorem (named after the mathematician Constantin Carathéodory) states that any pre-measure defined on a given ring of subsets ''R'' of a given set ''Ω'' can be extended to a measure on the σ-algebra generated by ''R'', and this extension is unique if the pre-measure is σ-finite. Consequently, any pre-measure on a ring containing all intervals of real numbers can be extended to the Borel algebra of the set of real numbers. This is an extremely powerful result of measure theory, and leads, for example, to the Lebesgue measure. The theorem is also sometimes known as the Carathéodory– Fréchet extension theorem, the Carathéodory– Hopf extension theorem, the Hopf extension theorem and the Hahn–Kolmogorov extension theorem. Introductory statement Several very similar statements of the theorem can be given. A slightly more involved one, based on semi-rings of sets, is given further down below. A shorter, simpler statem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Measure
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 ,∞to each set in \R^n or, more generally, in any metric space. The zero-dimensional Hausdorff measure is the number of points in the set (if the set is finite) or ∞ if the set is infinite. Likewise, the one-dimensional Hausdorff measure of a simple curve in \R^n is equal to the length of the curve, and the two-dimensional Hausdorff measure of a Lebesgue-measurable subset of \R^2 is proportional to the area of the set. Thus, the concept of the Hausdorff measure generalizes the Lebesgue measure and its notions of counting, length, and area. It also generalizes volume. In fact, there are ''d''-dimensional Hausdorff measures for any ''d'' ≥ 0, which is not necessarily an integer. These measures are fundamenta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dimension Function
In mathematics, the notion of an (exact) dimension function (also known as a gauge function) is a tool in the study of fractals and other subsets of metric spaces. Dimension functions are a generalisation of the simple "diameter to the dimension" power law used in the construction of ''s''-dimensional Hausdorff measure. Motivation: ''s''-dimensional Hausdorff measure Consider a metric space (''X'', ''d'') and a subset ''E'' of ''X''. Given a number ''s'' ≥ 0, the ''s''-dimensional Hausdorff measure of ''E'', denoted ''μ''''s''(''E''), is defined by :\mu^ (E) = \lim_ \mu_^ (E), where :\mu_^ (E) = \inf \left\. ''μ''''δ''''s''(''E'') can be thought of as an approximation to the "true" ''s''-dimensional area/volume of ''E'' given by calculating the minimal ''s''-dimensional area/volume of a covering of ''E'' by sets of diameter at most ''δ''. As a function of increasing ''s'', ''μ''''s''(''E'') is non-increasing. In fact, for all values of ''s'', except ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractal Geometry
In mathematics, a fractal is a geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scales, as illustrated in successive magnifications of the Mandelbrot set. This exhibition of similar patterns at increasingly smaller scales is called self-similarity, also known as expanding symmetry or unfolding symmetry; if this replication is exactly the same at every scale, as in the Menger sponge, the shape is called affine self-similar. Fractal geometry lies within the mathematical branch of measure theory. One way that fractals are different from finite geometric figures is how they scale. Doubling the edge lengths of a filled polygon multiplies its area by four, which is two (the ratio of the new to the old side length) raised to the power of two (the conventional dimension of the filled polygon). Likewise, if the radius of a filled sphere is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
