wiktionary A hyperplane is a concept in geometry . It is a generalization of the plane geometry plane into a different number of dimensions. A hyperplane of an n dimensional space n dimensional space is a flat ... into two half space s. Technical description In geometry , a hyperplane of an n dimensional space ... space or a projective space , and the notion of hyperplane varies correspondingly in all cases however, any hyperplane can be given in coordinate s as the solution of a single due to the codimension ... geometry translation of a vector hyperplane . A hyperplane in a Euclidean space separates that space into two half space s, and defines a reflection mathematics reflection that fixes the hyperplane ... are described here. Affine hyperplanes An affine hyperplane is an affine space affine subspace of codimension 1 in an affine space . In Cartesian coordinates , such a hyperplane can be described ... of the hyperplane, and are given by the inequalities math a 1x 1 a 2x 2 cdots a nx n b math and math a 1x 1 a 2x 2 cdots a nx n b. math As an example, a line is a hyperplane in 2 dimensional space, and a plane is a hyperplane in 3 dimensional space. A line in 3 dimensional space is not a hyperplane ... hyperplane of a Euclidean space has exactly two unit normal vectors. Affine hyperplanes are used ... hyperplane is a linear subspace of codimension 1. Such a hyperplane is the solution of a single ... at infinity added. An affine hyperplane together with the associated points at infinity forms a projective hyperplane. One special case of a projective hyperplane is the infinite or ideal hyperplane , which is defined with the set of all points at infinity. In real projective space, a hyperplane does ... so that both sides of a lone hyperplane are connected to each other. See also hypersurface decision boundary ham sandwich theorem arrangement of hyperplanes separating hyperplane theorem supporting hyperplane theorem References Reflist Charles W. Curtis 1968 Linear Algebra , page 62, Allyn & Bacon ... more details
hyperplane, then math S math is a convex set. ref name Boyd The hyperplane in the theorem may not be unique ... in the third picture on the right. A related result is the separating hyperplane theorem . See also Image Supporting hyperplane3.svg right thumb A supporting hyperplane containing a given point on the boundary ... more details
Unreferenced date December 2009 In mathematics , a hyperplane section of a subset X of projective space P sup n sup is the intersection set theory intersection of X with some hyperplane H &mdash in other words we look at the subset X sub H sub of those elements x of X that satisfy the single linear condition L 0 defining H as a Euclidean subspace linear subspace . Here L or H can range over the dual projective space of non zero linear form s in the homogeneous coordinates , up to scalar multiplication . From a geometrical point of view, the most interesting case is when X is an algebraic subvariety &mdash for more general cases, in mathematical analysis , some analogue of the Radon transform applies. In algebraic geometry , assuming therefore that X is V , a subvariety not lying completely in any H , the hyperplane sections are algebraic set s with irreducible component s all of dimension n &minus 1. What more can be said is addressed by a collection of results known collectively as Bertini s theorem . The topology of hyperplane sections is studied in the topic of the Lefschetz hyperplane theorem and its refinements. Because the dimension drops by one in taking hyperplane sections, the process is potentially an inductive method for understanding varieties of higher dimension. A basic tool for that is the Lefschetz pencil . DEFAULTSORT Hyperplane Section Category Algebraic geometry ... more details
In mathematics , in particular projective geometry , the hyperplane at infinity , also called the ideal hyperplane , is an n &minus 1 dimensional projective space added to an n dimensional affine space A , such as the real affine n space math mathbb R n math , in order to obtain uniformity of incidence dn date April 2012 properties. Adding the points of this hyperplane called ideal points or points at infinity converts the affine space into an n dimensional projective space , such as the real projective space math mathbb R P n math . There is one ideal point added for each pair of opposite directions in A . By adding these ideal points, the entire affine space A is completed to a projective space P , which may be called the projective completion of A . Each affine subspace S of A is completed to a projective space projective subspace of P by adding to S all the ideal points corresponding to the directions of the lines contained in S . The resulting projective subspaces are often called affine subspaces of the projective space P , as opposed to the infinite or ideal subspaces, which are the subspaces of the hyperplane at infinity however, they are projective spaces, not affine spaces . In the projective space, each projective subspace of dimension k intersects the ideal hyperplane in a projective subspace at infinity whose dimension is k &minus 1. A pair of non parallel geometry ... pair of affine hyperplanes intersect at a projective subspace of the ideal hyperplane the intersection lies on the ideal hyperplane . Thus, parallel hyperplanes, which did not meet in the affine space, intersect in the projective completion due to the addition of the hyperplane at infinity. Similarly ... space, any hyperplane may be chosen to be the hyperplane at infinity. Specifically, if P is a projective space and H is a hyperplane of P , then P &minus H is an affine space whose projective completion is P . Thus, the ideal hyperplane cannot be identified in terms of P alone. See also ... more details
Merge to Separating axis theorem date May 2010 In geometry , a maximum margin hyperplane is a hyperplane which separates two clouds of points and is at equal distance from the two. The margin between the hyperplane and the clouds is maximal. See the article on Support Vector Machines for more details. Category Euclidean geometry Geometry stub ... more details
Merge from Maximum margin hyperplane date May 2010 Image Separating axis theorem2008.png right thumb Illustration of the hyperplane separation theorem. In geometry , the hyperplane separation theorem is either of two theorems about disjoint convex set s in n dimensional Euclidean space . In the first version of the theorem, if both these sets are closed and at least one of them is compact, then there is a hyperplane in between them and even two parallel hyperplanes in between them separated by a gap. In the second version, if both disjoint convex sets are open, then there is a hyperplane in between them, but not necessarily any gap. An axis which is orthogonal to a separating hyperplane is a separating axis , because the orthogonal projections of the convex bodies onto the axis are disjoint. The hyperplane separation theorem is due to Hermann Minkowski . The Hahn Banach theorem Hahn Banach separation theorem Hahn Banach separation theorem generalizes the result to topological vector spaces . A related result is the supporting hyperplane theorem . Proof Let A and B be two disjoint, closed, convex sets, and suppose that A is compact space compact . Then A and B have a closest pair of points p and q . The distance function d p , B is a continuous function that vanishes only on B , and since A is compact, it must have a positive minimum p on A . Then any hyperplane H which is perpendicular to the segment I p , q from p to q , and which meets the interior of this segment, must separate A from B . For the second version of the theorem, suppose that A and B are disjoint, convex ... which must have a subsequence that converges to a hyperplane H . This hyperplane must separate A from ... and B is bounded by one arm of a hyperbola, then there is no separating hyperplane math A x,y x le 0 math math B x,y x 0, y geq 1 x . math Although, by an instance of the second theorem, there is a hyperplane ... of the theorem, evidently the separating hyperplane is never unique. In the second version, it may ... more details
In mathematics , specifically in algebraic geometry and algebraic topology , the Lefschetz hyperplane theorem is a precise statement of certain relations between the shape of an algebraic variety and the shape of its subvarieties. More precisely, the theorem says that for a variety X embedded in projective space and a hyperplane section Y , the homology mathematics homology , cohomology , and homotopy group s of X determine those of Y . A result of this kind was first stated by Solomon Lefschetz for homology groups of complex algebraic varieties. Similar results have since been found for homotopy groups, in positive characteristic, and in other homology and cohomology theories. The Lefschetz hyperplane theorem for complex projective varieties Let X be an n dimensional complex projective algebraic variety in CP sup N sup , and let Y be a hyperplane section of X such that nowrap begin U X Y nowrap end is smooth. The Lefschetz theorem refers to any of the following statements ref Harvnb Milnor ... the hyperplane section Y alone, he put it into a family of hyperplane sections Y sub t sub , where nowrap begin Y Y sub 0 sub nowrap end . Because a generic hyperplane section is smooth, all but a finite ... an additional finite number of slits, the resulting family of hyperplane sections is topological ... , therefore, can be understood if one understands how hyperplane sections are identified across the slits ... hyperplane theorem for homotopy groups. An approach that does was found by Thom no later than ... found a generalization of the Lefschetz hyperplane theorem to the case where the coefficients ... in CP sup N sup . Then in the cohomology ring of X , the k fold product with the cohomology class of a hyperplane ... part of the Lefschetz hyperplane theorem. The hard Lefschetz theorem in fact holds for any compact ... vanishing second cohomology groups, so there is no analogue of the second cohomology class of a hyperplane ... Frankel first2 Theodore title The Lefschetz theorem on hyperplane sections id MathSciNet id 0177422 ... more details
Unreferenced date November 2006 A reciprocity is a collineation from a projective space onto its dual space , taking points to hyperplane s and vice versa and preserving incidence geometry incidence . If it can be represented as a homography , it is called a correlation projective geometry correlation . See also Reciprocity theorem DEFAULTSORT Reciprocity Projective Geometry Category Projective geometry Geometry stub ... more details
In mathematics , the theorem of Bertini is an existence and genericity theorem for smooth connected hyperplane section s for smooth projective varieties over algebraically closed field s, introduced by Eugenio Bertini . This is the simplest and broadest of the Bertini theorems applying to a linear system of divisors simplest because there is no restriction on the characteristic of a field characteristic of the underlying field, while the extensions require characteristic 0. ref Springer id B b015770 title Bertini theorems ref ref Hartshorne, Ch. III.10. ref Statement for hyperplane sections of smooth varieties Let X be a smooth quasi projective variety over an algebraically closed field, embedded in a algebraic geometry of projective spaces projective space math mathbf P n math . Let math H math denote the linear system of divisors complete system of hyperplane divisors in math mathbf P n math . Recall that it is the Duality projective geometry Higher dimensional duality dual space math mathbf P n star math of math mathbf P n math and is isomorphic to math mathbf P n math . The theorem of Bertini states that the set of hyperplanes not containing X and with smooth intersection with X contains an open dense subset of the total system of divisors math H math . The set itself is open if X is projective. If dim X 2, then these intersections called hyperplane sections of X are connected, hence irreducible. The theorem hence asserts that a general hyperplane section not equal to X is smooth, that is the property of smoothness is generic. Over an arbitrary field k , there is a dense open subset of the dual space math mathbf P n star math whose rational point s define hyperplanes smooth hyperplane sections of X . When k is infinite, this open subset then has infinitely many rational points and there are infinitely many smooth hyperplane sections in X . Over a finite field, the above open subset may not contain rational points and in general there is no hyperplanes ... more details
This is a list of convexity topics , by Wikipedia page. Alpha blending Barycentric coordinates Borsuk s conjecture Bond convexity Carath odory s theorem convex hull Choquet theory Closed convex function concave function Concavity Convex analysis Convex combination Convex and concave Convex conjugate Convex decomposition Convex function Convex geometry Convex hull Convex lens Convex optimization Convex polygon Convex set Epigraph mathematics Extreme point Fenchel conjugate Fenchel s inequality Fixed point theorems in infinite dimensional spaces Gift wrapping algorithm Graham scan Hadwiger conjecture combinatorial geometry Hadwiger s theorem Helly s theorem Hyperplane Indifference curve Infimal convolute Interval mathematics Jarvis march Jensen s inequality Lagrange multiplier Legendre transformation Locally convex topological vector space Mahler volume Minkowski s theorem Mixed volume Mixture density Newton polygon Proper convex function Radon s theorem Separating axis theorem Shapley Folkman lemma Shephard s problem Simplex Simplex method Subdifferential Supporting hyperplane Supporting hyperplane theorem Category Mathematics related lists Convexity Category Mathematical analysis Category Convex geometry Category Indexes of mathematics topics Convexity ... more details
Unreferenced stub auto yes date December 2009 In a statistical classification statistical classification problem with two classes, a decision boundary or decision surface is a hypersurface that partitions the underlying vector space into two sets, one for each class. The classifier will classify all the points on one side of the decision boundary as belonging to one class and all those on the other side as belonging to the other class. If the decision surface is a hyperplane , then the classification problem is linear, and the classes are linearly separable . Decision boundaries are not always clear cut. That is, the transition from one class in the feature space to another is not discontinuous, but gradual. This effect is common in fuzzy logic based classification algorithms, where membership in one class or another is ambiguous. In ANNs and SVMs In the case of backpropagation based artificial neural network s or perceptron s, the type of decision boundary that the network can learn is determined by the number of hidden layers the network has. If it has no hidden layers, then it can only learn linear problems. If it has one hidden layer, then it can learn problems with convex decision boundaries and some concave decision boundaries . The network can learn more complex problems if it has two or more hidden layers. In particular, support vector machine s find a hyperplane that separates the feature space into two classes with the maximum margin hyperplane maximum margin . If the problem is not originally linearly separable, the kernel trick is used to turn it into a linearly separable one, by increasing the number of dimensions. Thus a general hypersurface in a small dimension space is turned into a hyperplane in a space with much larger dimensions. Neural networks try to learn the decision boundary which minimizes the empirical error, while support vector machines try to learn the decision boundary which gives the best generalization. DEFAULTSORT Decision Boundary C ... more details
Orphan date February 2009 In mathematics, a supersoluble arrangement is a Arrangement of hyperplanes hyperplane arrangement which has a maximal Flag linear algebra flag with only modular elements. Examples include arrangements associated with Coxeter group s of type A and B. It is known that all Orlik Solomon algebra s of supersoluble arrangements are Koszul algebra s. ref Orlik Solomon Algebras in Algebra and Topology, S. Yuzvinsky ref References references Category Discrete geometry ... more details
In algebraic geometry, a Severi variety , named after Francesco Severi , may be a Brauer Severi variety a variety contained in a Hilbert scheme that parametrizes curves in projective space with given degree, arithmetic genus, and number of nodes and no other singularities. a Scorza variety of dimension n in projective space of dimension 3 n 2 2 that can be isomorphically projected to a hyperplane. mathdab ... more details
one source date June 2010 In geometric probability theory, Wendel s theorem , named after James G. Wendel, gives the probability that N points continuous uniform distribution distributed uniformly at random on an n sphere n dimensional hypersphere all lie on the same half of the hypersphere. In other words, one seeks the probability that there is some hyperplane intersecting the center of the hypersphere such that all the points lie on the same side of the hyperplane. Wendel s theorem says that the probability is ref citation last Wendel first J. G. title A Problem in Geometric Probability journal Math. Scand volume 11 year 1962 page 109&ndash 111 ref math p n,N 2 N 1 sum k 0 n 1 binom N 1 k . math References reflist Category Probability theorems Category Theorems in geometry ... more details
otheruses In geometry , a half space is either of the two parts into which a plane geometry plane divides the three dimensional Euclidean space . More generally, a half space is either of the two parts into which a hyperplane divides an affine space . That is, the points that are not incident to the hyperplane are partition set theory partitioned into two convex set s i.e., half spaces , such that any subspace connecting a point in one set to a point in the other must intersect the hyperplane. One can have open and closed half spaces. An open half space is either of the two open set s produced by the subtraction of a hyperplane from the affine space. A closed half space is the union of an open half space and the hyperplane that defines it. If the space is two dimensional , then a half space is called a half plane open or closed . A half space in a one dimensional space is called a Line mathematics Ray ray . A half space may be specified by a linear inequality, derived from the linear equation that specifies the defining hyperplane. A strict linear inequality mathematics inequality math a 1x 1 a 2x 2 cdots a nx n b math specifies an open half space, while a non strict one math a 1x 1 a 2x 2 cdots a nx n geq b math specifies a closed half space. Here, one assumes that not all of the real numbers a sub 1 sub , a sub 2 sub , ..., a sub n sub are zero. Properties A half space is a convex set . Any convex set can be described as the possibly infinite intersection of half spaces. Upper and lower half spaces The open closed upper half space is the half space of all x sub 1 sub , x sub 2 sub , ..., x sub n sub such that x sub n sub 0 0 . The open closed lower half space is defined similarly, by requiring that x sub n sub be negative non positive . See also Upper half plane Poincar half plane model External links Mathworld urlname Half Space title Half Space DEFAULTSORT Half Space Category Euclidean geometry cs Poloprostor de Halbraum es Semiespacio fr Demi espace it Semispa ... more details
In convex analysis and mathematical optimization , the supporting functional is a generalization of the supporting hyperplane of a set. Mathematical definition Let X be a locally convex topological space , and math C subset X math be a convex set , then the continuous linear functional math phi X to mathbb R math is a supporting functional of C at the point math x 0 math if math phi x leq phi x 0 math for every math x in C math . ref cite book title Foundations of mathematical optimization convex analysis without linearity page 323 first1 Diethard last1 Pallaschke first2 Stefan last2 Rolewicz publisher Spring year 1997 isbn 978 0 7923 4424 7 ref Relation to support function If math h C X to mathbb R math where math X math is the dual space of math X math is a support function of the set C , then if math h C left x right x left x 0 right math , it follows that math h C math defines a supporting functional math phi X to mathbb R math of C at the point math x 0 math such that math phi x x x math for any math x in X math . Relation to supporting hyperplane If math phi math is a supporting functional of the convex set C at the point math x 0 in C math such that math phi left x 0 right sigma sup x in C phi x inf x in C phi x math then math H phi 1 sigma math defines a supporting hyperplane to C at math x 0 math . ref cite book last1 Borwein first1 Jonathan authorlink1 Jonathan Borwein last2 Lewis first2 Adrian title Convex Analysis and Nonlinear Optimization Theory and Examples edition 2 year 2006 publisher Springer isbn 978 0 387 29570 1 page 240 ref References Reflist Category Functional analysis Category Duality theories Category Types of functions ... more details
Notability date January 2011 BLP sources date March 2010 Thomas Zaslavsky born 1945 from Manhattan has been a professor of mathematics at the Binghamton University , New York since 1985. He has published papers in combinatorial mathematics , algebra and analysis. His work in combinatorics include hyperplane arrangement , matroid theory , graph theory , coding theory , lattice point counting, and Sperner family Sperner theory . Zaslavsky s mother Claudia Zaslavsky was a high school mathematics teacher at New York his father Sam Zaslavsky from Manhattan was an electrical engineer. Thomas Zaslavsky graduated from City College of New York and received a Ph.D. in mathematics from M.I.T. in 1974. Select publications Faces of a hyperplane arrangement enumerated by ideal dimension, with application to plane, plaids, and Shi . Geom. Dedicata , 98 2003 , 63&ndash 80 Book &ndash Facing up to arrangements face count formulas for partitions of space by ... Thomas Zaslavsky, Mathematics, 1975, 102 pages References Reflist MathGenealogy id 17945 http www.math.binghamton.edu zaslav Thomas Zaslavsky s homepage Persondata Metadata see Wikipedia Persondata . NAME Zaslavsky, Thomas ALTERNATIVE NAMES SHORT DESCRIPTION American mathematician DATE OF BIRTH 1945 PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Zaslavsky, Thomas Category Combinatorialists Category Graph theorists Category Massachusetts Institute of Technology alumni Category Binghamton University faculty Category 1945 births Category Living people ... more details
Unreferenced date December 2009 In mathematics , complex dimension usually refers to the dimension of a complex manifold M , or complex algebraic variety V . If the complex dimension is d , the real dimension will be 2 d . That is, the smooth manifold M has dimension 2 d and away from any Mathematical singularity singular points V will also be a smooth manifold of dimension 2 d . The same points apply to codimension . For example a smooth complex hypersurface in complex projective space of dimension n will be a manifold of dimension 2 n &minus 1 . A complex hyperplane does not separate complex projective space into two components, because it has codimension 2. Category Complex manifolds Category Algebraic geometry Category Dimension mathanalysis stub ... more details
about correlation in projective geometry correlation disambiguation Unreferenced date November 2006 A correlation is a duality projective geometry duality collineation from a projective space onto its dual space, taking points to hyperplane s and vice versa and preserving incidence geometry incidence from a projective space to itself. Correlations can only exist if the space is self dual. For dimensions 3 and higher, self duality is easy to test A coordinatizing skewfield exists and self duality fails if and only if the skewfield is not isomorphic to its opposite. If a correlation is Involution mathematics involutory that is, two applications of the correlation equals the identity P P for all points P then it is called a pole and polar polarity . DEFAULTSORT Correlation Projective Geometry Category Projective geometry Geometry stub ... more details
the analysis here. Polarity, tangent hyperplane, and singular points In general, a projective quadric ... P math to a hyperplane math p ast math of math P math , and vice versa, while preserving the incidence relation between points and hyperplanes. The coefficient vector of the polar hyperplane math h p ..., the hyperplane math h p ast math is well defined that is, not identically zero and does not contain math p math . If math p math is on the quadric and the hyperplane math h p ast math is well defined, and contains math p math which is said to be a regular point . In fact, it is the hyperplane ... hyperplane turns out to be the union of all lines that are either entirely contained in math Q math , or intersect math Q math at only one point. The condition for a point math u math to be in the hyperplane ... more details
wiktionary hyper hyper Hyper may refer to A prefix used in mathematics to denote four or more dimensions, see four dimensional space and higher dimension Hypercube , a cube 0,1 sup d sup , where d 3 the word tesseract was used, especially in nineteenth and early twentieth century British semi popular books on mathematics, to denote the special case d 4 Hyperplane , an affine subspace of codimension one in such a space Hypersphere , a round sphere of dimension higher than 3, especially if embedded in such a space Hypersurface , a submanifold of codimension one, especially if embedded in such a space including hypersphere and hyperplane as special cases A prefix used in engineering and physics to denote a phenomenon above the super level and below the ultra level Hypersonic , exceptionally high speeds Hypernova , an explosion of an exceptionally large star Hyperoperation , an arithmetic operation beyond exponentiation Hyperstructure , an algebraic structure equipped with at least one multivalued operation Hyper magazine Hyper magazine , an Australian video game magazine A slang term used to refer to hyperactivity , a medical notion describing a state in which a person is abnormally excitable and exuberant Hyper threading , an implementation of simultaneous multithreading technology Hyper Island , a Swedish educational company Hyper TV channel , an Philippine sports Pay TV Channel. Hyper TV , a TV Portal from Turkey Hyper engine , a hypothetical aircraft engine design DJ Hyper , a British electronic musician and producer of his band Hyper Europe Sails Hyper , an Austrian hang glider See also Hyperspace disambiguation Disambig de Hyper eo Hiper fr Hyper ko ... more details
In mathematics , local cohomology is a chapter of homological algebra and sheaf theory introduced into algebraic geometry by Alexander Grothendieck . He developed it in seminars in 1961 at Harvard University , and 1961 2 at IHES . It was later written up as SGA2 . Applications to commutative algebra and hyperfunction theory followed. In the geometric form of the theory, sections &Gamma sub Y sub are considered of a sheaf mathematics sheaf F of abelian group s, on a topological space X , with support mathematics support in a closed subset Y . The derived functor s of &Gamma sub Y sub form local cohomology groups H sub Y sub sup i sup X , F There is a long exact sequence of sheaf cohomology linking the ordinary sheaf cohomology of X and of the open set U X Y , with the local cohomology groups. The initial applications were to analogues of the Lefschetz hyperplane theorem s. In general such theorems state that homology or cohomology is supported on a hyperplane section of an algebraic variety , except for some loss that can be controlled. These results applied to the algebraic fundamental group and to the Picard group . In commutative algebra for a commutative ring R and its spectrum of a ring spectrum Spec R as X , Y can be replaced by the closed subscheme defined by an ideal I of R . The sheaf F can be replaced by an R module mathematics module M , which gives a quasicoherent sheaf on Spec R . In this setting the depth of a module can be characterised over local ring s by the vanishing of local cohomology groups, and there is an analogue, the local duality theorem , of Serre duality , using Ext functors of R modules and a dualising module . References M. P. Brodman and R. Y. Sharp 1998 Local Cohomology An Algebraic Introduction with Geometric Applications R. Hartshorne 1967 Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall, 1961. External links http www.ams.org bull 1999 36 03 S0273 0979 99 00785 5 S0273 0979 99 00785 5.pdf Book review by ... more details
For differential geometry usage, see glossary of differential geometry and topology . In geometry , a hypersurface is a generalization of the concept of hyperplane . Suppose an enveloping manifold M has n dimension s then any submanifold of M of n &minus 1 dimensions is a hypersurface. Equivalently, the codimension of a hypersurface is one. In algebraic geometry , a hypersurface in projective space of dimension n is an algebraic set that is purely of dimension n &minus 1. It is then defined by a single equation F 0, a homogeneous polynomial in the homogeneous coordinates . It may have Mathematical singularity singularities , so not in fact be a submanifold in the strict sense. Primal is an old term for an irreducible hypersurface. See also Affine sphere Hypersphere References Springer id H h048520 title Hypersurface Kobayashi and Nomizu 1969 , Foundations of Differential Geometry Vol II, John Wiley & Sons Category Algebraic geometry de Hyperfl che es Hipersuperficie fr Hypersurface it Ipersuperficie kk mk nl Hyperoppervlak pt Hipersuperf cie ru sl Hiperploskev zh ... more details
Encyclopedia
top
