HOME

TheInfoList



OR:

In
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 ...
, 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 in a plane are not parallel, their intersection is the 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 concern ...
, 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 consi ...
. 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 c ...
. An intersection can have various
geometric shape A shape or figure is a graphical representation of an object or its external boundary, outline, or external surface, as opposed to other properties such as color, texture, or material type. A plane shape or plane figure is constrained to lie ...
s, but a 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 ''inciden ...
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 coord ...
that is
incident Incident may refer to: * A property of a graph in graph theory * ''Incident'' (film), a 1948 film noir * Incident (festival), a cultural festival of The National Institute of Technology in Surathkal, Karnataka, India * Incident (Scientology), a ...
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 Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
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-Man ...
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, :A \cap B = \. For example, if A = \ and B = \, then A \cap B = \. A more elaborate example (involving infinite sets) is: : ''A'' = : ''B'' = : A \cap 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 (mathematics), 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 ...
s and the set of
even number In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is a multiple of two, and odd if it is not.. For example, −4, 0, 82 are even because \begin -2 \cdot 2 &= -4 \\ 0 \cdot 2 &= 0 \\ 41 ...
s , 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 op ...
. 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 (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 of more than two classes in his 1908 book ''Formulario mathematico''.


See also

*
Constructive solid geometry Constructive solid geometry (CSG; formerly called computational binary solid geometry) is a technique used in solid modeling. Constructive solid geometry allows a modeler to create a complex surface or object by using Boolean operators to comb ...
, 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, a ...
* Meet (lattice theory)


References


External links

*{{MathWorld, Intersection zh-yue:交點 Broad-concept articles