Almost
Encyclopedia
In set theory
, when dealing with sets of infinite size, the term almost or nearly is used to mean all the elements except for finitely many.
In other words, an infinite set S that is a subset
of another infinite set L, is almost L if the subtracted set L\S is of finite size.
Examples:
This is conceptually similar to the almost everywhere
concept of measure theory, but is not the same. For example, the Cantor set
is uncountably infinite
, but has Lebesgue measure
zero. So a real number
in (0, 1) is a member of the complement
of the Cantor set almost everywhere, but it is not true that the complement of the Cantor set is almost the real numbers in (0, 1).
Set theory
Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...
, when dealing with sets of infinite size, the term almost or nearly is used to mean all the elements except for finitely many.
In other words, an infinite set S that is a subset
Subset
In mathematics, especially in set theory, a set A is a subset of a set B if A is "contained" inside B. A and B may coincide. The relationship of one set being a subset of another is called inclusion or sometimes containment...
of another infinite set L, is almost L if the subtracted set L\S is of finite size.
Examples:
- The set is almost N for any k in N, because only finitely many natural numberNatural numberIn mathematics, the natural numbers are the ordinary whole numbers used for counting and ordering . These purposes are related to the linguistic notions of cardinal and ordinal numbers, respectively...
s are less than k. - The set of prime numberPrime numberA prime number is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is called a composite number. For example 5 is prime, as only 1 and 5 divide it, whereas 6 is composite, since it has the divisors 2...
s is not almost N because there are infinitely many natural numbers that are not prime numbers.
This is conceptually similar to the almost everywhere
Almost everywhere
In measure theory , a property holds almost everywhere if the set of elements for which the property does not hold is a null set, that is, a set of measure zero . In cases where the measure is not complete, it is sufficient that the set is contained within a set of measure zero...
concept of measure theory, but is not the same. For example, the Cantor set
Cantor set
In mathematics, the Cantor set is a set of points lying on a single line segment that has a number of remarkable and deep properties. It was discovered in 1875 by Henry John Stephen Smith and introduced by German mathematician Georg Cantor in 1883....
is uncountably infinite
Uncountable set
In mathematics, an uncountable set is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related to its cardinal number: a set is uncountable if its cardinal number is larger than that of the set of all natural numbers.-Characterizations:There...
, but has Lebesgue measure
Lebesgue measure
In measure theory, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of n-dimensional Euclidean space. For n = 1, 2, or 3, it coincides with the standard measure of length, area, or volume. In general, it is also called...
zero. So a real number
Real number
In mathematics, a real number is a value that represents a quantity along a continuum, such as -5 , 4/3 , 8.6 , √2 and π...
in (0, 1) is a member of the complement
Complement (set theory)
In set theory, a complement of a set A refers to things not in , A. The relative complement of A with respect to a set B, is the set of elements in B but not in A...
of the Cantor set almost everywhere, but it is not true that the complement of the Cantor set is almost the real numbers in (0, 1).