|
Carathéodory's Theorem (convex Hull)
Carathéodory's theorem is a theorem in convex geometry. It states that if a point x lies in the convex hull \mathrm(P) of a set P\subset \R^d, then x lies in some ''d''-dimensional simplex with vertices in P. Equivalently, x can be written as the convex combination of d+1 or fewer points in P. Additionally, x can be written as the convex combination of at most d+1 ''extremal'' points in P, as non-extremal points can be removed from P without changing the membership of ''x'' in the convex hull. An equivalent theorem for conical combinations states that if a point x lies in the conical hull \mathrm(P) of a set P\subset \R^d, then x can be written as the conical combination of at most d points in P. Two other theorems of Helly and Radon are closely related to Carathéodory's theorem: the latter theorem can be used to prove the former theorems and vice versa. The result is named for Constantin Carathéodory, who proved the theorem in 1911 for the case when P is Compact space, co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Geometry
In mathematics, convex geometry is the branch of geometry studying convex sets, mainly in Euclidean space. Convex sets occur naturally in many areas: computational geometry, convex analysis, discrete geometry, functional analysis, geometry of numbers, integral geometry, linear programming, probability theory, game theory, etc. Classification According to the Mathematics Subject Classification MSC2010, the mathematical discipline ''Convex and Discrete Geometry'' includes three major branches: * general convexity * polytopes and polyhedra * discrete geometry (though only portions of the latter two are included in convex geometry). General convexity is further subdivided as follows: *axiomatic and generalized convexity *convex sets without dimension restrictions *convex sets in topological vector spaces *convex sets in 2 dimensions (including convex curves) *convex sets in 3 dimensions (including convex surfaces) *convex sets in ''n'' dimensions (including convex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PPAD (complexity)
In computer science, PPAD ("Polynomial Parity Arguments on Directed graphs") is a complexity class introduced by Christos Papadimitriou in 1994. PPAD is a subclass of TFNP based on functions that can be shown to be total by a parity argument. The class attracted significant attention in the field of algorithmic game theory because it contains the problem of computing a Nash equilibrium: this problem was shown to be complete for PPAD by Daskalakis, Goldberg and Papadimitriou with at least 3 players and later extended by Chen and Deng to 2 players.*. Definition PPAD is a subset of the class TFNP, the class of function problems in FNP that are guaranteed to be total. The TFNP formal definition is given as follows: :A binary relation P(''x'',''y'') is in TFNP if and only if there is a deterministic polynomial time algorithm that can determine whether P(''x'',''y'') holds given both ''x'' and ''y'', and for every ''x'', there exists a ''y'' such that P(''x'',''y'') holds. Subclasses ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Transversal Theory
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician who works in the field of geometry is called a '' geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. Originally developed to model the physical world, geometry has applications in almost all sciences, and also in art, architecture, and other activities that are related to graphics. Geometry also has applications in areas of mathematics that are apparently unrelated. For example, methods of algebraic geometry are fundamental in Wiles's proof of Fermat's Last Theorem, a problem that was stated in terms of elementary arithmetic, and remained unsolved for several centuries. During ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Hulls
Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytope, a polytope with a convex set of points ** Convex metric space, a generalization of the convexity notion in abstract metric spaces * Convex function, when the line segment between any two points on the graph of the function lies above or on the graph * Convex conjugate, of a function * Convexity (algebraic geometry), a restrictive technical condition for algebraic varieties originally introduced to analyze Kontsevich moduli spaces Economics and finance * Convexity (finance), second derivatives in financial modeling generally * Convexity in economics * Bond convexity, a measure of the sensitivity of the duration of a bond to changes in interest rates * Convex preferences, an individual's ordering of various outcomes Other uses * Convex Com ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Articles Containing Proofs
Article often refers to: * Article (grammar), a grammatical element used to indicate definiteness or indefiniteness * Article (publishing), a piece of nonfictional prose that is an independent part of a publication Article(s) may also refer to: Government and law * Elements of treaties of the European Union * Articles of association, the regulations governing a company, used in India, the UK and other countries; called articles of incorporation in the US * Articles of clerkship, the contract accepted to become an articled clerk * Articles of Confederation, the predecessor to the current United States Constitution * Article of impeachment, a formal document and charge used for impeachment in the United States * Article of manufacture, in the United States patent law, a category of things that may be patented * Articles of organization, for limited liability organizations, a US equivalent of articles of association Other uses * Article element , in HTML * "Articles", a song ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PlanetMath
PlanetMath is a free content, free, collaborative, mathematics online encyclopedia. Intended to be comprehensive, the project is currently hosted by the University of Waterloo. The site is owned by a US-based nonprofit corporation, "PlanetMath.org, Ltd". PlanetMath was started when the popular free online mathematics encyclopedia MathWorld was temporarily taken offline for 12 months by a court injunction as a result of the CRC Press lawsuit against the Wolfram Research company and its employee (and MathWorld's author) Eric Weisstein. Materials The main PlanetMath focus is on encyclopedia, encyclopedic entries. It formerly operated a self-hosted forum, but now encourages discussion via Gitter. An all-inclusive PlanetMath ''Free Encyclopedia'' book of 2,300 pages is available for the encyclopedia contents up to 2006 as a free download PDF file. Content development model PlanetMath implements a specific content creation system called ''authority model''. An author who starts a ne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Choquet Theory
In mathematics, Choquet theory, named after Gustave Choquet, is an area of functional analysis and convex analysis concerned with measures which have support on the extreme points of a convex set ''C''. Roughly speaking, every vector of ''C'' should appear as a weighted average of extreme points, a concept made more precise by generalizing the notion of weighted average from a convex combination to an integral taken over the set ''E'' of extreme points. Here ''C'' is a subset of a real vector space ''V'', and the main thrust of the theory is to treat the cases where ''V'' is an infinite-dimensional (locally convex Hausdorff) topological vector space along lines similar to the finite-dimensional case. The main concerns of Gustave Choquet were in potential theory. Choquet theory has become a general paradigm, particularly for treating convex cones as determined by their extreme rays, and so for many different notions of ''positivity'' in mathematics. The two ends of a line segmen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krein–Milman Theorem
In the mathematical theory of functional analysis, the Krein–Milman theorem is a proposition about compact convex sets in locally convex topological vector spaces (TVSs). This theorem generalizes to infinite-dimensional spaces and to arbitrary compact convex sets the following basic observation: a convex (i.e. "filled") triangle, including its perimeter and the area "inside of it", is equal to the convex hull of its three vertices, where these vertices are exactly the extreme points of this shape. This observation also holds for any other convex polygon in the plane \R^2. Statement and definitions Preliminaries and definitions Throughout, X will be a real or complex vector space. For any elements x and y in a vector space, the set , y:= \ is called the or closed interval between x and y. The or open interval between x and y is (x, y) := \varnothing when x = y while it is (x, y) := \ when x \neq y; it satisfies (x, y) = , y\setminus \ and , y= (x, y) \cup \. The points ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tverberg's Theorem
In discrete geometry, Tverberg's theorem, first stated by Helge Tverberg in 1966, is the result that sufficiently many points in Euclidean space can be partitioned into subsets with intersecting convex hulls. Specifically, for any positive integers d, r and any set of :(d + 1)(r - 1) + 1\ points in d-dimensional Euclidean space there exists a partition of the given points into r subsets whose convex hulls all have a common point; in other words, there exists a point x (not necessarily one of the given points) such that x belongs to the convex hull of all of the subsets. The partition resulting from this theorem is known as a Tverberg partition. The special case r = 2 was proved earlier by Radon, and it is known as Radon's theorem. Examples The case d = 1 states that any 2r - 1 points on the real line can be partitioned into r subsets with intersecting convex hulls. Indeed, if the points are x_1 < x_2 < ... < x_ , then the partition into for |
N-dimensional Polyhedron
An ''n''-dimensional polyhedron is a geometric object that generalizes the 3-dimensional polyhedron to an ''n''-dimensional space. It is defined as a set of points in real affine (or Euclidean) space of any dimension ''n'', that has flat sides. It may alternatively be defined as the intersection of finitely many half-spaces. Unlike a 3-dimensional polyhedron, it may be bounded or unbounded. In this terminology, a bounded polyhedron is called a polytope... Analytically, a convex polyhedron is expressed as the solution set for a system of linear inequalities, ''ai''T''x'' ≤ ''bi'', where ''ai'' are vectors in R''n'' and ''bi'' are scalars. This definition of polyhedra is particularly important as it provides a geometric perspective for problems in linear programming. Examples Many traditional polyhedral forms are n-dimensional polyhedra. Other examples include: * A half-space is a polyhedron defined by a single linear inequality, ''a1''T''x'' ≤ ''b1''. * A hyperplane is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kirchberger's Theorem
Kirchberger's theorem is a theorem in discrete geometry, on linear separability. The two-dimensional version of the theorem states that, if a finite set of red and blue points in the Euclidean plane has the property that, for every four points, there exists a line separating the red and blue points within those four, then there exists a single line separating all the red points from all the blue points. Donald Watson phrases this result more colorfully, with a farmyard analogy: More generally, for finitely many red and blue points in d-dimensional Euclidean space, if the red and blue points in every subset of d+2 of the points are linearly separable, then all the red points and all the blue points are linearly separable. Another equivalent way of stating the result is that, if the convex hulls of finitely many red and blue points have a nonempty intersection, then there exists a subset of d+2 points for which the convex hulls of the red and blue points in the subsets also intersect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shapley–Folkman Lemma
The Shapley–Folkman lemma is a result in convex geometry that describes the Minkowski addition of set (mathematics), sets in a vector space. The lemma may be intuitively understood as saying that, if the number of summed sets exceeds the dimension (linear algebra), dimension of the vector space, then their Minkowski sum is approximately convex. It is named after mathematicians Lloyd Shapley and Jon Folkman, but was first published by the economist Ross Starr, Ross M. Starr. Related results provide more refined statements about how close the approximation is. For example, the Shapley–Folkman theorem provides an upper bound on the Euclidean distance, distance between any point in the Minkowski sum and its convex hull. This upper bound is sharpened by the Shapley–Folkman–Starr theorem (alternatively, Starr's corollary). The Shapley–Folkman lemma has applications in economics, mathematical optimization, optimization and probability theory. In economics, it can be use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
