Cheat Sheet of Mathematical Notation

Cheat Sheet of Mathemtical Notation and Terminology
Logic and Sets
Notation
Terminology
Explanation and Examples
π‘Ž ∢= 𝑏
defined by
The object π‘Ž on the side of the colon is defined by 𝑏.
Examples:π‘₯ ∢= 5 means that π‘₯ is defined to be 5, or 𝑓 (π‘₯) ∢= π‘₯2 βˆ’ 1 means that
the function 𝑓 is defined to be π‘₯2 βˆ’ 1, or 𝐴 ∢= {1, 5, 7} means that the set 𝐴 is
defined to be {1, 5.7}.
𝑆1 β‡’ 𝑆2
implies
Logical implication: If statement 𝑆1 is true, then statement 𝑆2 must be true. We
say 𝑆1 is a sufficient condition for 𝑆2 or 𝑆2 is a necessary condition for 𝑆1 .
Interval notation
Notation
Terminology
Explanation and Examples
[π‘Ž, 𝑏]
closed interval
If π‘Ž, 𝑏 ∈ ℝ with π‘Ž ≀ 𝑏 the closed interval is the set {π‘₯ ∈ ℝ ∣ π‘Ž ≀ π‘₯ ≀ 𝑏}
Examples:[βˆ’3, 5] is the set of real numbers between βˆ’3 and 5, including the
endpoints βˆ’3 and 5.
(π‘Ž, 𝑏)
open interval
Examples:(βˆ’3, 5) id the set of real numbers between βˆ’3 and 5, excluding the
endpoints βˆ’3 and 5.
Examples:(𝑛 ∈ β„• even) β‡’ (𝑛 even).
If π‘Ž, 𝑏 ∈ ℝ with π‘Ž ≀ 𝑏, [π‘Ž, 𝑏) is the set of all numbers between π‘Ž and 𝑏 with
π‘Ž included and 𝑏 excluded. In case of (π‘Ž, 𝑏] the endpoint π‘Ž is excluded and 𝑏
is included.
Logical equivalence: If statement 𝑆1 is true, then statement 𝑆2 must be true, and
vice versa. We say 𝑆2 is a necessary and sufficient condition for 𝑆1 .
Examples:[βˆ’3, 5) is the set of real numbers between βˆ’3 and 5, including βˆ’3
but excluding 5. For (βˆ’3, 5] the endpoint βˆ’3 is excluded and 5 is included.
[π‘Ž, 𝑏) or (π‘Ž, 𝑏]
half open interval
2
𝑆1 ⇔ 𝑆2
equivalent to
Examples:(ln π‘₯ > 0) ⇔ (π‘₯ > 1).
βˆƒ
there exists
Abbreviation for there exists
βˆ€
for all
Abbreviation for for all
{… }
set
The β€œobjects” listed between the curly brackets are members of the set being
defined.
√
{
}
Examples:{0, 2, 5, 7}, {2 + 𝑖, 7 βˆ’ 5},
, ,
The elements of a set can be any kind of objects such as numbers, functions,
points, geometric objects or other.
π‘Žβˆˆπ΄
element of
π‘Ž is an element of the set 𝐴, that is, π‘Ž is in the set 𝐴.
{
}
Examples:πœ‹ ∈ ℝ, 4 ∈ {1, 4, 7}, ∈
, ,
βˆ… or {}
empty set
The special set that does not contain any element.
{π‘₯ ∣ property} set of . . . with . . .
Notation indicating a set of elements π‘₯ satisfying a certain property.
Examples:{𝑛 ∈ β„• ∣ 𝑛 is even}, where 𝑛 ∈ β„• is the typical element and the
property satisfied is that 𝑛 is even.
{π‘₯2 ∣ π‘₯ ∈ β„•}, where the typical member is a square of some number in β„•.
π΄βŠ†π΅
subset of
The set 𝐴 is a subset of 𝐡, that is, every element of 𝐴 is also an element of 𝐡.
More formally: 𝑏 ∈ 𝐡 β‡’ 𝑏 ∈ 𝐴.
[π‘Ž, ∞) or (βˆ’βˆž, π‘Ž] closed half line
(π‘Ž, ∞) or (βˆ’βˆž, π‘Ž) open half line
union
Functions
Notation
Terminology
Explanation and Examples
π‘“βˆΆ 𝐴→𝐡
function
A function 𝑓 from the set 𝐴 to the set 𝐡 is a rule that assigns every element
π‘₯ ∈ 𝐴 a unique element 𝑓 (π‘₯) ∈ 𝐡.
The set 𝐴 is called the domain and represents all possible (or desirable) β€œinputs”, the set 𝐡 is called the codomain and contains all potential β€œoutputs”.
π‘₯ ξ‚Άβ†’ 𝑓 (π‘₯)
is mapped to
The function maps π‘₯ to the value 𝑓 (π‘₯).
Examples:𝑔 ∢ ℝ β†’ β„‚, πœƒ ξ‚Άβ†’ 𝑔(πœƒ) ∢= π‘’π‘–πœƒ . A function from ℝ to β„‚ given by π‘’π‘–πœƒ ;
𝑓 ∢ ℝ β†’ ℝ, π‘₯ ξ‚Άβ†’ 𝑓 (π‘₯) ∢= 1 + π‘₯2 . A function from ℝ to ℝ given by 1 + π‘₯2 ;
β„Ž ∢ β„‚ β†’ [0, ∞), 𝑧 ξ‚Άβ†’ β„Ž(𝑧) ∢= |𝑧|. A function from β„‚ to [0, ∞) given by |𝑧|.
im(𝑓 )
image or range
The set of elements either in 𝐴 or in 𝐡.
More formally: (π‘₯ ∈ 𝐴 βˆͺ 𝐡) ⇔ (π‘₯ ∈ 𝐴 or π‘₯ ∈ 𝐡).
surjective or onto
The set of elements that are in 𝐴 and in 𝐡.
More formally: (π‘₯ ∈ 𝐴 ∩ 𝐡) ⇔ (π‘₯ ∈ 𝐴 and π‘₯ ∈ 𝐡).
injective or one-to-one A function 𝑓 ∢ 𝐴 β†’ 𝐡 is called injective if im(𝑓 ) = 𝐡, that is, every point in
the image comes from exactly one point in the domain 𝐴.
More formally: If π‘Ž1 , π‘Ž2 ∈ 𝐴 are such that 𝑓 (π‘Ž1 ) = 𝑓 (π‘Ž2 ), then π‘Ž1 = π‘Ž2 .
Examples:{1, 4, 7} ∩ {1, 2, 3, 5, 6, 7} = {1, 7}
Note:We can look at the intersection of an arbitrary collection of sets: The set of
objects that appear in every set in the collection.
𝐴⧡𝐡
complement
The set of elements that are in 𝐴 but not in 𝐡.
More formally: (π‘₯ ∈ 𝐴 β§΅ 𝐡) ⇔ (π‘₯ ∈ 𝐴 and π‘₯ βˆ‰ 𝐡).
Examples:{1, 4, 5, 7} β§΅ {1, 2, 3, 6, 7} = {4, 5}
A function 𝑓 ∢ 𝐴 β†’ 𝐡 is called surjective if im(𝑓 ) = 𝐡, that is, the codomain
coincides with the range.
More formally: For every 𝑏 ∈ 𝐡 there exists π‘Ž ∈ 𝐴 such that 𝑓 (π‘Ž) = 𝑏.
Note:𝑓 ∢ 𝐴 β†’ im(𝑓 ) is always surjective. The choice of codomain is quite
arbitrary. We often just state the general objects rather than the image or range.
For instance function values are in ℝ if we are not intested in the image.
Note:We can look at a union of an arbitrary collection of sets: The set of objects
that appear in at least one of the sets in the collection.
intersection
The set of values 𝑓 ∢ 𝐴 β†’ 𝐡 attains: im(𝑓 ) ∢= {𝑓 (π‘₯) ∢ π‘₯ ∈ 𝐴} βŠ† 𝐡.
Examples:𝑓 ∢ ℝ β†’ ℝ, π‘₯ ξ‚Άβ†’ 𝑓 (π‘₯) ∢= π‘₯2 . The codomain is ℝ, the image or
range is [0, ∞).
Examples:{1, 4, 7} βˆͺ {4, 5, 8} = {1, 4, 5, 7, 8} (elements are not repeated in a
union if they appear in both sets!)
𝐴∩𝐡
If π‘Ž ∈ ℝ, then [π‘Ž, ∞) is the set of real numbers larger than or equal to π‘Ž, and
(βˆ’βˆž, π‘Ž] is the set of real numbers less than or equal to π‘Ž
If π‘Ž ∈ ℝ, then (π‘Ž, ∞) is the set of real numbers strictly larger than π‘Ž, and
(βˆ’βˆž, π‘Ž) is the set of real numbers strictly less than π‘Ž
Examples:(0, ∞) set of all positive real numbers; (βˆ’βˆž, 5] set of all real numbers less than or equal to 5.
Examples:β„š βŠ† ℝ, {1, 4, 7} βŠ† {1, 2, 3, 4, 5, 6, 7}
𝐴βˆͺ𝐡
If π‘Ž, 𝑏 ∈ ℝ with π‘Ž ≀ 𝑏 the open interval is the set {π‘₯ ∈ ℝ ∣ π‘Ž < π‘₯ < 𝑏}
𝑓 βˆ’1
bijective
A function 𝑓 ∢ 𝐴 β†’ 𝐡 is called bijective if it is surjective and injective.
inverse function
A function 𝑓 ∢ 𝐴 β†’ 𝐡 is called invertible if it is bijective. The inverse function 𝑓 βˆ’1 ∢ 𝐡 β†’ 𝐴 is defined as follows: Given 𝑏 ∈ 𝐡 take the unique point
π‘Ž ∈ 𝐴 such that 𝑓 (π‘Ž) = 𝑏 and set 𝑓 βˆ’1 (𝑏) ∢= π‘Ž (by surjectivity such π‘Ž exists,
by injectivity it is unique).