4 (four) is a
number
A number is a mathematical object used to count, measure, and label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers ...
,
numeral and
digit
Digit may refer to:
Mathematics and science
* Numerical digit, as used in mathematics or computer science
** Hindu-Arabic numerals, the most common modern representation of numerical digits
* Digit (anatomy), the most distal part of a limb, such ...
. It is the
natural number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called '' cardinal ...
following
3 and preceding
5. It is the smallest
semiprime
In mathematics, a semiprime is a natural number that is the product of exactly two prime numbers. The two primes in the product may equal each other, so the semiprimes include the squares of prime numbers.
Because there are infinitely many prime ...
and
composite number
A composite number is a positive integer that can be formed by multiplying two smaller positive integers. Equivalently, it is a positive integer that has at least one divisor other than 1 and itself. Every positive integer is composite, prime, ...
, and is
considered unlucky in many East Asian cultures.
In mathematics
Four is the smallest
composite number
A composite number is a positive integer that can be formed by multiplying two smaller positive integers. Equivalently, it is a positive integer that has at least one divisor other than 1 and itself. Every positive integer is composite, prime, ...
, its proper
divisor
In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by ...
s being and . Four is the sum and product of
two with itself:
+
=
=
x
, the only number
such that
+
=
=
x
, which also makes four the smallest squared
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 way ...
. In
Knuth's up-arrow notation, , and so forth, for any number of up arrows. By consequence, four is the only square one more than a prime number, specifically
three. The sum of the first four prime numbers
two +
three +
five +
seven is the only sum of four consecutive prime numbers that yields an
odd prime number,
seventeen, which is the fourth
super-prime. Four lies between the first proper pair of
twin primes,
three and
five, which are the first two
Fermat primes, like
seventeen, which is the third. On the other hand, the
square
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length a ...
of four 4
2, equivalently the
fourth power of two 2
4, is
sixteen; the only number that has
=
as a form of
factorization. Holistically, there are four elementary arithmetic
operations
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 ...
in mathematics:
addition
Addition (usually signified by the plus symbol ) is one of the four basic operations of arithmetic, the other three being subtraction, multiplication and division. The addition of two whole numbers results in the total amount or ''sum'' of ...
(+),
subtraction (−),
multiplication
Multiplication (often denoted by the cross symbol , by the mid-line dot operator , by juxtaposition, or, on computers, by an asterisk ) is one of the four elementary mathematical operations of arithmetic, with the other ones being ad ...
(×), and
division (÷); and four basic
number systems, the
real number
In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...
s
,
rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ra ...
s
,
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s
, and
natural number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called '' cardinal ...
s
.
Each natural number divisible by 4 is a difference of squares of two natural numbers, i.e.
=
−
. A number is a multiple of 4 if its last two digits are a multiple of 4. For example, 1092 is a multiple of 4 because .
Lagrange's four-square theorem
Lagrange's four-square theorem, also known as Bachet's conjecture, states that every natural number can be represented as the sum of four integer squares. That is, the squares form an additive basis of order four.
p = a_0^2 + a_1^2 + a_2^2 + a_3 ...
states that every positive integer can be written as the sum of at most four
square number
In mathematics, a square number or perfect square is an integer that is the square of an integer; in other words, it is the product of some integer with itself. For example, 9 is a square number, since it equals and can be written as .
The u ...
s. Three are not always sufficient; for instance cannot be written as the sum of three squares.
There are four
all-Harshad numbers:
1,
2, ''4'', and
6.
12, which is divisible by four thrice over, is a Harshad number in all bases except
octal
The octal numeral system, or oct for short, is the radix, base-8 number system, and uses the Numerical digit, digits 0 to 7. This is to say that 10octal represents eight and 100octal represents sixty-four. However, English, like most languages, ...
.
A four-sided plane figure is a
quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
or quadrangle, sometimes also called a ''tetragon''. It can be further classified as a
rectangle or ''oblong'',
kite
A kite is a tethered heavier than air flight, heavier-than-air or lighter-than-air craft with wing surfaces that react against the air to create Lift (force), lift and Drag (physics), drag forces. A kite consists of wings, tethers and anchors. ...
,
rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. Th ...
, and
square
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length a ...
.
Four is the highest degree general
polynomial equation
In mathematics, an algebraic equation or polynomial equation is an equation of the form
:P = 0
where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equati ...
for which there is a
solution in radicals.
The
four-color theorem states that a
planar graph
In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cro ...
(or, equivalently, a flat
map of two-dimensional regions such as countries) can be colored using four colors, so that adjacent vertices (or regions) are always different colors. Three colors are not, in general, sufficient to guarantee this. The largest planar
complete graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices ...
has four vertices.
A solid figure with four faces as well as four vertices is a
tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ...
, which is the smallest possible number of faces and vertices a
polyhedron can have. The regular tetrahedron, also called a 3-
simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension ...
, is the simplest
Platonic solid
In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all e ...
. It has four
regular triangles as faces that are themselves at
dual positions with the vertices of another tetrahedron. Tetrahedra can be inscribed inside all other four Platonic solids, and
tessellate space alongside the
regular octahedron in the
alternated cubic honeycomb
The tetrahedral-octahedral honeycomb, alternated cubic honeycomb is a quasiregular space-filling tessellation (or honeycomb) in Euclidean 3-space. It is composed of alternating regular octahedra and tetrahedra in a ratio of 1:2.
Other names incl ...
.
Four-dimensional space
A four-dimensional space (4D) is a mathematical extension of the concept of three-dimensional or 3D space. Three-dimensional space is the simplest possible abstraction of the observation that one only needs three numbers, called ''dimensions'', ...
is the highest-dimensional space featuring more than three
regular
The term regular can mean normal or in accordance with rules. It may refer to:
People
* Moses Regular (born 1971), America football player
Arts, entertainment, and media Music
* "Regular" (Badfinger song)
* Regular tunings of stringed instrum ...
convex
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 polytop ...
figures:
*Two-dimensional: infinitely many
regular polygon
In Euclidean geometry, a regular polygon is a polygon that is direct equiangular (all angles are equal in measure) and equilateral (all sides have the same length). Regular polygons may be either convex, star or skew. In the limit, a sequence ...
s.
*Three-dimensional: five
regular polyhedra; the five
Platonic solid
In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all e ...
s which are the
tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ...
,
cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross.
The cube is the on ...
,
octahedron
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at e ...
,
dodecahedron
In geometry, a dodecahedron (Greek , from ''dōdeka'' "twelve" + ''hédra'' "base", "seat" or "face") or duodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentag ...
, and
icosahedron
In geometry, an icosahedron ( or ) is a polyhedron with 20 faces. The name comes and . The plural can be either "icosahedra" () or "icosahedrons".
There are infinitely many non- similar shapes of icosahedra, some of them being more symmetric ...
.
*Four-dimensional: six
regular polychora; the
5-cell, 8-cell or
tesseract,
16-cell,
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oc ...
,
120-cell
In geometry, the 120-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called a C120, dodecaplex (short for "dodecahedral complex"), hyperdodecahedron, polydodecahedron, heca ...
, and
600-cell
In geometry, the 600-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also known as the C600, hexacosichoron and hexacosihedroid. It is also called a tetraplex (abbreviated from ...
. The
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oc ...
, made of regular
octahedra
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ...
, has no analogue in any other dimension; it is
self-dual, with its
24-cell honeycomb dual to the
16-cell honeycomb.
*Five-dimensional and every higher dimension: three regular convex
-
polytope
In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...
s, all within the infinite family of regular
-
simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension ...
es,
-
hypercube
In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). 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 ...
s, and
-
orthoplexes.
The fourth dimension is also the highest dimension where regular
self-intersecting figures exist:
*Two-dimensional: infinitaly many regular
star polygon
In geometry, a star polygon is a type of non- convex polygon. Regular star polygons have been studied in depth; while star polygons in general appear not to have been formally defined, certain notable ones can arise through truncation operation ...
s.
*Three-dimensional: ''four'' regular
star polyhedra, the
regular
The term regular can mean normal or in accordance with rules. It may refer to:
People
* Moses Regular (born 1971), America football player
Arts, entertainment, and media Music
* "Regular" (Badfinger song)
* Regular tunings of stringed instrum ...
Kepler-Poinsot star polyhedra.
*Four-dimensional: ten regular
star polychora, the
Schläfli–Hess star polychora. They contain
cells of Kepler-Poinsot polyhedra alongside regular tetrahedra,
icosahedra
In geometry, an icosahedron ( or ) is a polyhedron with 20 faces. The name comes and . The plural can be either "icosahedra" () or "icosahedrons".
There are infinitely many non- similar shapes of icosahedra, some of them being more symmetri ...
and
dodecahedra
In geometry, a dodecahedron (Greek , from ''dōdeka'' "twelve" + ''hédra'' "base", "seat" or "face") or duodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentag ...
.
*Five-dimensional and every higher dimension: zero regular
star-polytopes;
uniform star polytopes in dimensions
>
are the most symmetric, which mainly originate from
stellations of regular
-polytopes.
Altogether,
sixteen (or 16 = 4
2) regular convex and star polychora are generated from symmetries of ''four'' (4)
Coxeter Weyl groups and
point groups in the fourth dimension: the
simplex,
hypercube,
icositetrachoric, and
hexacosichoric groups; with the
demihypercube group generating two alternative constructions.
There are also
sixty-four (or 64 = 4
3) four-dimensional
Bravais lattice
In geometry and crystallography, a Bravais lattice, named after , is an infinite array of discrete points generated by a set of discrete translation operations described in three dimensional space by
: \mathbf = n_1 \mathbf_1 + n_2 \mathbf_2 + n ...
s, ''and'' sixty-four
uniform polychora
In geometry, a uniform 4-polytope (or uniform polychoron) is a 4-dimensional polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons.
There are 47 non-prismatic convex uniform 4-polytopes. There ...
in the fourth dimension based on the same
,
,
and
Coxeter groups, and extending to
prismatic groups of
uniform polyhedra, including one special
non-Wythoffian form, the
grand antiprism. There are also two infinite families of
duoprisms and
antiprismatic prisms in the fourth dimension.
Four-dimensional
differential manifolds have some unique properties. There is only one
differential structure on
except when
=
, in which case there are uncountably many.
The smallest non-
cyclic group
In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C''n'', that is generated by a single element. That is, it is a set of invertible elements with a single associative bi ...
has four elements; it is the
Klein four-group. ''A''
alternating group
In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of elements is called the alternating group of degree , or the alternating group on letters and denoted by or
Basic pr ...
s are not
simple for values
≤
.
Further extensions of the real numbers under
Hurwitz's theorem states that there are four
normed division algebras: the real numbers
, the
complex numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
, the
quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quat ...
s
, and the
octonions
. Under
Cayley–Dickson constructions, the
sedenions
constitute a further fourth extension over
. The real numbers are
ordered,
commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
and
associative
In mathematics, the associative property is a property of some binary operations, which means that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement ...
algebras, as well as
alternative algebras with
power-associativity. The complex numbers
share all four multiplicative algebraic properties of the reals
, without being ordered. The quaternions loose a further commutative algebraic property, while holding associative, alternative, and power-associative properties. The octonions are alternative and power-associative, while the sedenions are only power-associative. The sedenions and all further ''extensions'' of these four normed division algebras are solely power-associative with non-trivial
zero divisors, which makes them
non-division algebras.
has a
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but ...
of
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 ...
1, while
,
,
and
work in
algebraic number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a ...
s of dimensions 2, 4, 8, and 16, respectively.
List of basic calculations
Evolution of the Hindu-Arabic digit
Brahmic numerals represented 1, 2, and 3 with as many lines. 4 was simplified by joining its four lines into a cross that looks like the modern plus sign. The
Shunga would add a horizontal line on top of the digit, and the Kshatrapa and Pallava evolved the digit to a point where the speed of writing was a secondary concern. The
Arab
The Arabs (singular: Arab; singular ar, عَرَبِيٌّ, DIN 31635: , , plural ar, عَرَب, DIN 31635, DIN 31635: , Arabic pronunciation: ), also known as the Arab people, are an ethnic group mainly inhabiting the Arab world in Wester ...
s' 4 still had the early concept of the cross, but for the sake of efficiency, was made in one stroke by connecting the "western" end to the "northern" end; the "eastern" end was finished off with a curve. The Europeans dropped the finishing curve and gradually made the digit less cursive, ending up with a digit very close to the original Brahmin cross.
While the shape of the character for the digit 4 has an
ascender in most modern
typeface
A typeface (or font family) is the design of lettering that can include variations in size, weight (e.g. bold), slope (e.g. italic), width (e.g. condensed), and so on. Each of these variations of the typeface is a font.
There are thousands ...
s, in typefaces with
text figures
Text figures (also known as non-lining, lowercase, old style, ranging, hanging, medieval, billing, or antique figures or numerals) are numerals designed with varying heights in a fashion that resembles a typical line of running text, hence the ...
the glyph usually has a
descender
In typography and handwriting, a descender is the portion of a letter that extends below the baseline of a font.
For example, in the letter ''y'', the descender is the "tail", or that portion of the diagonal line which lies below the ''v'' ...
, as, for example, in
.
On the
seven-segment display
A seven-segment display is a form of electronic display device for displaying decimal numerals that is an alternative to the more complex dot matrix displays.
Seven-segment displays are widely used in digital clocks, electronic meters, basic ...
s of pocket calculators and digital watches, as well as certain
optical character recognition
Optical character recognition or optical character reader (OCR) is the electronic or mechanical conversion of images of typed, handwritten or printed text into machine-encoded text, whether from a scanned document, a photo of a document, a sc ...
fonts, 4 is seen with an open top.
Television station
A television station is a set of equipment managed by a business, organisation or other entity, such as an amateur television (ATV) operator, that transmits video content and audio content via radio waves directly from a transmitter on the ear ...
s that operate on
channel 4
Channel 4 is a British free-to-air public broadcast television network operated by the state-owned enterprise, state-owned Channel Four Television Corporation. It began its transmission on 2 November 1982 and was established to provide a four ...
have occasionally made use of another variation of the "open 4", with the open portion being on the side, rather than the top. This version resembles the
Canadian Aboriginal syllabics
Canadian syllabic writing, or simply syllabics, is a family of writing systems used in a number of Indigenous Canadian languages of the Algonquian, Inuit, and (formerly) Athabaskan language families. These languages had no formal writing ...
letter ᔦ. The
magnetic ink character recognition "CMC-7" font also uses this variety of "4".
In religion
Buddhism
*
Four Noble Truths
In Buddhism, the Four Noble Truths (Sanskrit: ; pi, cattāri ariyasaccāni; "The four Arya satyas") are "the truths of the Noble Ones", the truths or realities for the "spiritually worthy ones". –
–
, Pratītyasamutpāda">Samudaya
In Buddhism, the Four Noble Truths (Sanskrit: ; pi, cattāri ariyasaccāni; "The four Arya satyas") are "the truths of the Noble Ones", the truths or realities for the "spiritually worthy ones".[aFour Noble Truths: BUDDHIST PHILOSOPHY Encycl ...
*Four sights">Noble_Eightfold_Path.html" ;"title="Nirvana">Nirodha, Noble Eightfold Path">Magga
*Four sights – observations which affected Prince Siddhartha deeply and made him realize the sufferings of all beings, and compelled him to begin his spiritual journey—an
man, a death">dead man, and an ascetic">illness">sick&.html" ;"title="illness.html" ;"title="old age">old man, a