96 lines
3.8 KiB
Markdown
96 lines
3.8 KiB
Markdown
A set is a collection of _unordered_ elements.
|
|
A set cannot contain duplicates.
|
|
## Notation
|
|
### Set Notation
|
|
Declaration of a set $A$ with elements $a$, $b$, $c$:
|
|
$$ A := {a, b, c} $$
|
|
### Cardinality
|
|
Amount of Elements in a set $A$
|
|
Notation: $|A|$
|
|
$$
|
|
A := {1, 2, 3, 4} \
|
|
|A| = 4
|
|
$$
|
|
### Well-Known Sets
|
|
- Empty Set: $emptyset = {}$
|
|
- Natural Numbers: $N = {1, 2, 3, ...}$
|
|
- Integers: $ZZ = {-2, -1, 0, 1, 2}$
|
|
- Rational Numbers: $QQ = {1/2, 22/7 }$
|
|
- Real Numbers: $RR = {1, pi, sqrt(2)}$
|
|
- Complex Numbers: $CC = {i, pi, 1, sqrt(-1)}$
|
|
|
|
### Set-Builder Notation
|
|
Common form of notation to create sets without explicitly specifying elements.
|
|
$$
|
|
A := {x in N | 0 <= x <= 5} \
|
|
A = {1, 2, 3, 4, 5}
|
|
$$
|
|
### Member of
|
|
Denote whether $x$ is an element of the set $A$
|
|
Notation: $x in A$
|
|
Negation: $x in.not A$
|
|
|
|
### Subsets
|
|
| Type | Explanation | Notation |
|
|
| ------------------------ | ---------------------------------------------------------------------- | ------------------- |
|
|
| **Subset** | Every element of $A$ is in $B$ | $A subset B$ |
|
|
| **Subset or equal to** | Every element of $A$ is in $B$, or they are the exactly same set | $A subset.eq B$ |
|
|
| **Proper subset** | Every element of $A$ is in $B$, but $A$ is definitely smaller than $B$ | $A subset.sq B$<br> |
|
|
| **Superset**<br> | $A$ contains everything that is in $B$ | $A supset B$ |
|
|
| **Superset or equal to** | $A$ contains everything that is in $B$, or they are identical | $A supset.eq B$ |
|
|
|
|
## Operations
|
|
### Union
|
|
Notation: $A union B$
|
|
Definition: all elements from both sets _without adding duplicates_
|
|
$$ A := {1, 2, 3}\ B := {3, 4, 5}\ A union B = {1, 2, 3, 4, 5} $$
|
|
### Intersection
|
|
Notation:$A inter B$
|
|
Definition: all elements _contained in both sets_
|
|
$$
|
|
A := {1, 2, 3} \
|
|
B := {2, 3, 4} \
|
|
A inter B = {2, 3}
|
|
$$
|
|
### Difference
|
|
Notation: $A backslash B$
|
|
Definition: all elements _in $A$ that are not in $B$_
|
|
$$
|
|
A := {1, 2, 3} \
|
|
B := {3, 4, 5} \
|
|
A backslash B = {1, 2}
|
|
$$
|
|
### Symmetric Difference
|
|
Notation: $A Delta B$
|
|
Definition: all elements _only in $A$ or only in $B$_
|
|
$$
|
|
A := {1, 2, 3} \
|
|
B := {2, 3, 4} \
|
|
A Delta B = {1, 4}
|
|
$$
|
|
### Cartesian Product
|
|
Notation: $A times B$
|
|
Definition: all pairs of all elements in $A$ and $B$
|
|
$$
|
|
A := {1, 2} \
|
|
B := {3, 4, 5} \
|
|
A times B = {(1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5)}
|
|
$$
|
|
### Powerset
|
|
Notation: $cal(P)(A)$
|
|
Definition: all possible _Subsets of A_
|
|
$$
|
|
A := {1, 2, 3} \
|
|
cal(P)(A) = {emptyset, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
|
|
$$
|
|
|
|
## Relations
|
|
|
|
| Relation | Explanation | Example |
|
|
| ---------------- | :-------------------------------------------------------------------------------------------------------------------- | ------------------------- |
|
|
| *transitive*<br> | "chain reaction", a information about $a$ in relation to $c$ can be inferred from the relations $a -> b$ and $b -> c$ | $a < b, b < c => a < c$ |
|
|
| *reflexive* | every element is related to itself with the given relation | $a <= a, 5 = 5$ |
|
|
| *anti-reflexive* | every element is *NOT* related to itself in the given relation | $a < a$ |
|
|
| *symmetric* | the given relation work both ways | $a = b => b = a$ |
|
|
| *antisymmetric* | the given relation only works both ways if $a$ and $b$ are the same | $a <= b, b <= a => a = b$ |
|