In
mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in
Euclidean geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry: the '' Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms ...
, when two
lines
Line most often refers to:
* Line (geometry), object with zero thickness and curvature that stretches to infinity
* Telephone line, a single-user circuit on a telephone communication system
Line, lines, The Line, or LINE may also refer to:
Arts ...
in a
plane
Plane(s) most often refers to:
* Aero- or airplane, a powered, fixed-wing aircraft
* Plane (geometry), a flat, 2-dimensional surface
Plane or planes may also refer to:
Biology
* Plane (tree) or ''Platanus'', wetland native plant
* ''Planes' ...
are not parallel, their intersection is the
point
Point or points may refer to:
Places
* Point, Lewis, a peninsula in the Outer Hebrides, Scotland
* Point, Texas, a city in Rains County, Texas, United States
* Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland
* Point ...
at which they meet. More generally, in
set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
, the intersection of sets is defined to be the set of
elements which belong to all of them. Unlike the Euclidean definition, this does not presume that the objects under consideration lie in a common
space
Space is the boundless three-dimensional extent in which objects and events have relative position and direction. In classical physics, physical space is often conceived in three linear dimensions, although modern physicists usually cons ...
.
Intersection is one of the basic concepts of
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ...
. An intersection can have various
geometric shapes, but a
point
Point or points may refer to:
Places
* Point, Lewis, a peninsula in the Outer Hebrides, Scotland
* Point, Texas, a city in Rains County, Texas, United States
* Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland
* Point ...
is the most common in a
plane geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry: the '' Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms ...
.
Incidence geometry
In mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An ''incide ...
defines an intersection (usually, of
flats
Flat or flats may refer to:
Architecture
* Flat (housing), an apartment in the United Kingdom, Ireland, Australia and other Commonwealth countries
Arts and entertainment
* Flat (music), a symbol () which denotes a lower pitch
* Flat (soldier), ...
) as an object of lower
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coor ...
that is
incident to each of original objects. In this approach an intersection can be sometimes undefined, such as for
parallel lines
In geometry, parallel lines are coplanar straight lines that do not intersect at any point. Parallel planes are planes in the same three-dimensional space that never meet. ''Parallel curves'' are curves that do not touch each other or int ...
. In both cases the concept of intersection relies on
logical conjunction
In logic, mathematics and linguistics, And (\wedge) is the truth-functional operator of logical conjunction; the ''and'' of a set of operands is true if and only if ''all'' of its operands are true. The logical connective that represents thi ...
.
Algebraic geometry defines intersections in its own way with
intersection theory
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem o ...
.
Uniqueness
There can be more than one primitive object, such as points (pictured above), that form an intersection. The intersection can be viewed collectively as all of the shared objects (i.e., the intersection
operation
Operation or Operations may refer to:
Arts, entertainment and media
* ''Operation'' (game), a battery-operated board game that challenges dexterity
* Operation (music), a term used in musical set theory
* ''Operations'' (magazine), Multi-Ma ...
results in a
set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...
, possibly empty), or as
several intersection objects (
possibly zero).
In set theory
The intersection of two sets ''A'' and ''B'' is the set of elements which are in both ''A'' and ''B''. Formally,
:
.
For example, if
and
, then
. A more elaborate example (involving infinite sets) is:
: ''A'' =
: ''B'' =
:
As another example, the number 5 is ''not'' contained in the intersection of the set of
prime number
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
s and the set of
even numbers , because although 5 ''is'' a prime number, it is ''not'' even. In fact, the number 2 is the only number in the intersection of these two sets. In this case, the intersection has mathematical meaning: the number 2 is the only even prime number.
In geometry
Notation
Intersection is denoted by the from
Unicode Mathematical Operators
The Unicode Standard encodes almost all standard characters used in mathematics.
Unicode Technical Report #25 provides comprehensive information about the character repertoire, their properties, and guidelines for implementation.
Mathematical ope ...
.
The symbol was first used by
Hermann Grassmann
Hermann Günther Grassmann (german: link=no, Graßmann, ; 15 April 1809 – 26 September 1877) was a German polymath known in his day as a linguist and now also as a mathematician. He was also a physicist, general scholar, and publisher. His mat ...
in ''Die Ausdehnungslehre von 1844'' as general operation symbol, not specialized for intersection. From there, it was used by
Giuseppe Peano
Giuseppe Peano (; ; 27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The sta ...
(1858-1932) for intersection, in 1888 in ''Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann''.
Peano also created the large symbols for general intersection and
union
Union commonly refers to:
* Trade union, an organization of workers
* Union (set theory), in mathematics, a fundamental operation on sets
Union may also refer to:
Arts and entertainment
Music
* Union (band), an American rock group
** ''Un ...
of more than two classes in his 1908 book ''Formulario mathematico''.
See also
*
Constructive solid geometry, Boolean Intersection is one of the ways of combining 2D/3D shapes
*
Dimensionally Extended 9-Intersection Model
The Dimensionally Extended 9-Intersection Model (DE-9IM) is a topological model and a standard used to describe the spatial relations of two regions (two geometries in two-dimensions, R2), in geometry, point-set topology, geospatial topology, ...
*
Meet (lattice theory)
In mathematics, specifically order theory, the join of a subset S of a partially ordered set P is the supremum (least upper bound) of S, denoted \bigvee S, and similarly, the meet of S is the infimum (greatest lower bound), denoted \bigwedge S. I ...
References
External links
*{{MathWorld, Intersection
zh-yue:交點
Broad-concept articles