Convex Bodies
In mathematics, a convex body in n-dimensional Euclidean space \R^n is a compact convex set with non- empty interior. Some authors do not require a non-empty interior, merely that the set is non-empty. A convex body K is called symmetric if it is centrally symmetric with respect to the origin; that is to say, a point x lies in K if and only if its antipode, - x also lies in K. Symmetric convex bodies are in a one-to-one correspondence with the unit balls of norms on \R^n. Some commonly known examples of convex bodies are the Euclidean ball, the hypercube and the cross-polytope. Metric space structure Write \mathcal K^n for the set of convex bodies in \mathbb R^n. Then \mathcal K^n is a complete metric space with metric d(K,L) := \inf\. Further, the Blaschke Selection Theorem says that every ''d''-bounded sequence in \mathcal K^n has a convergent subsequence. Polar body If K is a bounded convex body containing the origin O in its interior, the polar body K^* is \ . The pol ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Convex Set
In geometry, a set of points is convex if it contains every line segment between two points in the set. For example, a solid cube (geometry), cube is a convex set, but anything that is hollow or has an indent, for example, a crescent shape, is not convex. The boundary (topology), boundary of a convex set in the plane is always a convex curve. The intersection of all the convex sets that contain a given subset of Euclidean space is called the convex hull of . It is the smallest convex set containing . A convex function is a real-valued function defined on an interval (mathematics), interval with the property that its epigraph (mathematics), epigraph (the set of points on or above the graph of a function, graph of the function) is a convex set. Convex minimization is a subfield of mathematical optimization, optimization that studies the problem of minimizing convex functions over convex sets. The branch of mathematics devoted to the study of properties of convex sets and convex f ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Norm (mathematics)
In mathematics, a norm is a function (mathematics), function from a real or complex vector space to the non-negative real numbers that behaves in certain ways like the distance from the Origin (mathematics), origin: it Equivariant map, commutes with scaling, obeys a form of the triangle inequality, and zero is only at the origin. In particular, the Euclidean distance in a Euclidean space is defined by a norm on the associated Euclidean vector space, called the #Euclidean norm, Euclidean norm, the #p-norm, 2-norm, or, sometimes, the magnitude or length of the vector. This norm can be defined as the square root of the inner product of a vector with itself. A seminorm satisfies the first two properties of a norm but may be zero for vectors other than the origin. A vector space with a specified norm is called a normed vector space. In a similar manner, a vector space with a seminorm is called a ''seminormed vector space''. The term pseudonorm has been used for several related meaning ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Brunn–Minkowski Theorem
In mathematics, the Brunn–Minkowski theorem (or Brunn–Minkowski inequality) is an inequality relating the volumes (or more generally Lebesgue measures) of compact subsets of Euclidean space. The original version of the Brunn–Minkowski theorem (Hermann Brunn 1887; Hermann Minkowski 1896) applied to convex sets; the generalization to compact nonconvex sets stated here is due to Lazar Lyusternik (1935). Statement Let ''n'' ≥ 1 and let ''μ'' denote the Lebesgue measure on R''n''. Let ''A'' and ''B'' be two nonempty compact subsets of R''n''. Then the following inequality holds: : \mu (A + B) \geq mu (A) + mu (B), where ''A'' + ''B'' denotes the Minkowski sum: :A + B := \. The theorem is also true in the setting where A, B, A + B are only assumed to be measurable and non-empty. Multiplicative version The multiplicative form of Brunn–Minkowski inequality states that \mu(\lambda A + (1 - \lambda) B) \geq \mu(A)^ \mu(B)^ for all \lambda \in ,1. The Brunn–Minkowsk ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Duality (mathematics)
In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of is , then the dual of is . In other cases the dual of the dual – the double dual or bidual – is not necessarily identical to the original (also called ''primal''). Such involutions sometimes have fixed points, so that the dual of is itself. For example, Desargues' theorem is self-dual in this sense under the ''standard duality in projective geometry''. In mathematical contexts, ''duality'' has numerous meanings. It has been described as "a very pervasive and important concept in (modern) mathematics" and "an important general theme that has manifestations in almost every area of mathematics". Many mathematical dualities between objects of two types correspond to pairings, bilinear functions from an object of one type and another object of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Blaschke Selection Theorem
The Blaschke selection theorem is a result in topology and convex geometry about sequences of convex sets. Specifically, given a sequence \ of convex sets contained in a bounded set, the theorem guarantees the existence of a subsequence \ and a convex set K such that K_ converges to K in the Hausdorff metric. The theorem is named for Wilhelm Blaschke. Alternate statements * A succinct statement of the theorem is that the metric space of convex bodies is locally compact. * Using the Hausdorff metric on sets, every infinite collection of compact subsets of the unit ball has a limit point (and that limit point is itself a compact set). Application As an example of its use, the isoperimetric problem can be shown to have a solution. That is, there exists a curve of fixed length that encloses the maximum area possible. Other problems likewise can be shown to have a solution: * Lebesgue's universal covering problem for a convex universal cover of minimal size for the collection of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Complete Metric 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 of elements from X of 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(x_m, x_n) < r. Complete space A metric space is complete if any of the following equivalent conditions are satisfied: #Every Cauchy seq ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cross-polytope
In geometry, a cross-polytope, hyperoctahedron, orthoplex, staurotope, or cocube is a regular, convex polytope that exists in ''n''- dimensional Euclidean space. A 2-dimensional cross-polytope is a square, a 3-dimensional cross-polytope is a regular octahedron, and a 4-dimensional cross-polytope is a 16-cell. Its facets are simplexes of the previous dimension, while the cross-polytope's vertex figure is another cross-polytope from the previous dimension. The vertices of a cross-polytope can be chosen as the unit vectors pointing along each co-ordinate axis – i.e. all the permutations of . The cross-polytope is the convex hull of its vertices. The ''n''-dimensional cross-polytope can also be defined as the closed unit ball (or, according to some authors, its boundary) in the ℓ1-norm on R''n'', those points satisfying :, x_1, + , x_2, + \cdots + , x_n, \le 1. An ''n''-orthoplex can be constructed as a bipyramid with an (''n''−1)-orthoplex base. The cross-polytope is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hypercube
In geometry, a hypercube is an ''n''-dimensional analogue of a square ( ) and a cube ( ); the special case for is known as a ''tesseract''. It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, perpendicular to each other and of the same length. A unit hypercube's longest diagonal in ''n'' dimensions is equal to \sqrt. An ''n''-dimensional hypercube is more commonly referred to as an ''n''-cube or sometimes as an ''n''-dimensional cube. The term measure polytope (originally from Elte, 1912) is also used, notably in the work of H. S. M. Coxeter who also labels the hypercubes the γn polytopes. The hypercube is the special case of a hyperrectangle (also called an ''n-orthotope''). A ''unit hypercube'' is a hypercube whose side has length one unit. Often, the hypercube whose corners (or ''vertices'') are the 2''n'' points in R''n'' with each coordinate equal to 0 or 1 i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Euclidean Ball
A ball is a round object (usually spherical, but sometimes ovoid) with several uses. It is used in ball games, where the play of the game follows the state of the ball as it is hit, kicked or thrown by players. Balls can also be used for simpler activities, such as catch or juggling. Balls made from hard-wearing materials are used in engineering applications to provide very low friction bearings, known as ball bearings. Black-powder weapons use stone and metal balls as projectile A projectile is an object that is propelled by the application of an external force and then moves freely under the influence of gravity and air resistance. Although any objects in motion through space are projectiles, they are commonly found ...s. Although many types of balls are today made from rubber, this form was unknown outside the Americas until after the voyages of Christopher Columbus, Columbus. The Spanish were the first Europeans to see the bouncing rubber balls (although solid and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bijection
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set. A function is bijective if it is invertible; that is, a function f:X\to Y is bijective if and only if there is a function g:Y\to X, the ''inverse'' of , such that each of the two ways for composing the two functions produces an identity function: g(f(x)) = x for each x in X and f(g(y)) = y for each y in Y. For example, the ''multiplication by two'' defines a bijection from the integers to the even numbers, which has the ''division by two'' as its inverse function. A function is bijective if and only if it is both injective (or ''one-to-one'')—meaning that each element in the codomain is mappe ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Unit Ball
Unit may refer to: General measurement * Unit of measurement, a definite magnitude of a physical quantity, defined and adopted by convention or by law **International System of Units (SI), modern form of the metric system **English units, historical units of measurement used in England up to 1824 ** Unit of length Science and technology Physical sciences * Natural unit, a physical unit of measurement * Geological unit or rock unit, a volume of identifiable rock or ice * Astronomical unit, a unit of length roughly between the Earth and the Sun Chemistry and medicine * Equivalent (chemistry), a unit of measurement used in chemistry and biology * Unit, a vessel or section of a chemical plant * Blood unit, a measurement in blood transfusion * Enzyme unit, a measurement of active enzyme in a sample * International unit, a unit of measurement for nutrients and drugs Mathematics * Unit number, the number 1 * Unit, identity element * Unit (ring theory), an element that is i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |