הצגת המקור של הדף "אלגברה מופשטת על כוס קפה/קבוצה"

==קבוצות==
ב[[w:תורת הקבוצות הנאיבית|תורת הקבוצות הנאיבית]], המספיקה עבור מטרת לימוד אלגברה מופשטת, רעיון ה"קבוצה" איננו מוגדר ריגורוזית.{{ש}}
אנו מתארים קבוצה כצבירה מוגדרת היטב של עצמים, המכונים "חברים" או "אברים" של הקבוצה. אם עצם כלשהוא הוא אבר של הקבוצה, נאמר כי הוא מוכל בקבוצה זו.
אברי הקבוצה יכולים להיות כל דבר, אך בלימוד אלגברה מופשטת האברים הם לרוב מספרים או מבנים מתמטיים.{{ש}}
אבריה של קבוצה קובעים אותה, ועל כן קבוצות בעלות אותם אברים הן שוות. לעומת זאת, קבוצות זהות מכילות אותם אברים.

בהנתן אבר <math>x</math> וקבוצה <math>A</math>, נוכל לטעון כי <math>x\in A</math> – לאמר <math>x</math> מוכל בקבוצה <math>A</math>, או <math>x\notin A</math> – לאמר <math>x</math> אינו מוכל בקבוצה <math>A</math>.{{ש}}
כדי לטעון כי מספר אברים <math>a_1,\ldots,a_n</math> מוכלים בקבוצה <math>A</math>, נכתוב <math>a_1,\ldots,a_n\in A</math>.

===אקסיומת ההיקפיות===
באמצעות שימוש בסימון זה ובסימון <math>\implies</math>, המייצג גרירה לוגית, נוכל לשוב ולהגדיר את הגדרת השוויון בין שתי קבוצות <math>A,B</math> כך:
:<math>A=B</math> אם ורק אם <math>x\in A\implies x\in B</math> וגם <math>x\in B\implies x\in A</math>.
דבר זה נקרא אקסיומת ההיקפיות.

===סימון מקיף===
If it is not possible to list the elements of a set, it can be defined by giving a property that its elements are sole to possess. The set of all objects <math>x</math> with some property <math>Q(x)</math> can be denoted by <math>\{x : Q(x)\}</math>. Similarly, the set of all elements <math>x</math> of a set <math>A</math> with some property <math>Q(x)</math> can be denoted by <math>\{x \in A : Q(x)\}</math>. The colon : here is read as "such that". The vertical bar | is synonymous with the colon in similar contexts. This notation will appear quite often in the rest of this book, so it is important for the readers to familiarize themselves with this now.

As an example of this notation, the set of integers can be written as <math>\Z=\{x:x\text{ is an integer}\}</math>, and the set of even integers can be written as <math>\{x\in\Z:x\text{ is even}\}</math>.

===הכלה===
For two sets <math>A</math> and <math>B</math>, we define set inclusion as follows: <math>A</math> is included in, or a subset of, <math>B</math>, if and only if every member of <math>A</math> is a member of <math>B</math>. In other words,

:<math>A \subseteq B \Leftrightarrow x \in A \rightarrow x \in B</math>

where the symbol <math>\subseteq</math> denotes "is a subset of", and <math>\Leftrightarrow</math> denotes "if and only if".

By the aforementioned axiom of extensionality, one finds that <math>A = B \Leftrightarrow A \subseteq B \mbox{ and } B \subseteq A</math>.

===הקבוצה הריקה===
One can define an empty set, written <math>\varnothing</math>, such that <math>\forall x(x\not\in\varnothing)</math>, where <math>\forall</math> denotes universal quantification (read as "for all" or "for every"). In other words, the empty set is defined as the set which contains no elements. The empty set can be shown to be unique.

Since the empty set contains no elements, it can be shown to be a subset of every set. Similarly, no set but the empty set is a subset of the empty set.

===הכלה ממש===
For two sets <math>A</math> and <math>B</math>, we can define proper set inclusion as follows: <math>A</math> is a proper subset of <math>B</math> if and only if <math>A</math> is a subset of <math>B</math>, and <math>A</math> does not equal <math>B</math>. In other words, there is at least one member in <math>B</math> not contained in <math>A</math>

:<math>A \subset B \Leftrightarrow (A \subseteq B \land A \neq B)</math>,

where the symbol <math>\subset</math> denotes "is a proper subset of" and the symbol <math>\land</math> denotes logical ''and''.

===עוצמת קבוצה===
The cardinality of a set <math>A</math>, denoted by <math>|A|</math>, can be said informally to be a measure of the number of elements in <math>A</math>. However, this description is only rigorously accurate for finite sets. To find the cardinality of infinite sets, more sophisticated tools are needed.

===חיתוך קבוצות===
For sets <math>A</math> and <math>B</math>, we define the intersection of <math>A</math> and <math>B</math> by the set <math>A \cap B</math> which contains all elements which are common to both <math>A</math> and <math>B</math>. Symbolically, this can be stated as follows:

:<math>A \cap B = \{ x \mid x \in A \mbox{ and } x \in B\}</math>.

Because every element of <math>A \cap B</math> is an element of <math>A</math> and an element of <math>B</math>, <math>A \cap B</math> is, by the definition of set inclusion, a subset of <math>A</math> and <math>B</math>.

If the sets <math>A</math> and <math>B</math> have no elements in common, they are said to be disjoint sets. This is equivalent to the statement that <math>A</math> and <math>B</math> are disjoint if <math>A \cap B = \emptyset</math>.

Set intersection is an associative and commutative operation; that is, for any sets <math>A</math>, <math>B</math>, and <math>C</math>, <math>(A \cap B) \cap C = A \cap (B \cap C)</math> and <math>A \cap B = B \cap A</math>.

By the definition of intersection, one can find that <math>A \cap \emptyset = \emptyset</math> and <math>A \cap A = A</math>. Furthermore, <math>A \subseteq B \Leftrightarrow A \cap B = A</math>.

One can take the intersection of more than two sets at once; since set intersection is associative and commutative, the order in which these intersections are evaluated is irrelevant. If <math>A_i</math> are sets for every <math>i\in I</math>, we can denote the intersection of all <math>A_i</math> by

:<math>\bigcap_{i\in I} A_i=\{x \mid (\forall i\in I )x\in A_i\}</math>

In cases like this, <math>I</math> is called an index set, and <math>A_i</math> are said to be indexed by <math>I</math>.

In the case of <math>I=\{1,2,...,n\}</math> one can either write <math>A_1 \cap A_2 \cap A_3 \cap \cdots \cap A_n</math> or

:<math>\bigcap_{i=1}^{n} A_i</math>.

===איחוד קבוצות===
For sets <math>A</math> and <math>B</math>, we define the union of <math>A</math> and <math>B</math> by the set <math>A \cup B</math> which contains all elements which are in either <math>A</math> or <math>B</math> or both. Symbolically,

:<math>A \cup B = \{ x \mid x \in A \mbox{ or } x \in B\}</math>.

Since the union <math>A \cup B</math> of sets <math>A</math> and <math>B</math> contains the elements of <math>A</math> and <math>B</math>, <math>A \subseteq A \cup B</math> and <math>B \subseteq A \cup B</math>.

Like set intersection, set union is an associative and commutative operation; for any sets <math>A</math>, <math>B</math>, and <math>C</math>, <math>(A \cup B) \cup C = A \cup (B \cup C)</math> and <math>A \cup B = B \cup A</math>.

By the definition of union, one can find that <math>A \cup \emptyset = A \cup A = A</math>. Furthermore, <math>A \subseteq B \Leftrightarrow A \cup B = B</math>.

Just as with set intersection, one can take the union of more than two sets at once; since set union is associative and commutative, the order in which these unions are evaluated is irrelevant. Let <math>A_i</math> be sets for all <math>i\in I</math>. Then the union of all the <math>A_i</math> is denoted by

:<math>\bigcup_{i\in I} A_i = \{x \mid (\exists i\in I) x\in A_i\}</math>

(Where <math>\exists</math> may be read as "there exists".)

For the union of a finite number of sets <math>A_1, A_2, A_3, \ldots, A_n</math>, that is, <math>I=\{1,2,...,n\}</math> one can either write <math>A_1 \cup A_2 \cup A_3 \cup \cdots \cup A_n</math> or abbreviate this as

:<math>\bigcup_{i=1}^{n} A_i</math>.

===חוקי פילוג===
Set union and set intersection are distributive with respect to each other. That is,
:<math>A \cap (B \cup C) = (B \cup C) \cap A = (A \cap B) \cup (A \cap C)</math> and
:<math>A \cup (B \cap C) = (B \cap C) \cup A = (A \cup B) \cap (A \cup C)</math>.

===מכפלה קרטזית===
The Cartesian product of sets <math>A</math> and <math>B</math>, denoted by <math>A \times B</math>, is the set of all ordered pairs which can be formed with the first object in the ordered pair being an element of <math>A</math> and the second being an element of <math>B</math>. This can be expressed symbolically as

:<math> A \times B = \{(x,y) \mid x \in A \mbox{ and } y \in B\}</math>.

Since different ordered pairs result when one exchanges the objects in the pair, the Cartesian product is not commutative. The Cartesian product is also not associative. The following identities hold for the Cartesian product for any sets <math>A, B, C, D</math>:

:<math>(A \cap B) \times (C \cap D) = (A \times C) \cap (B \times D)</math>,
:<math>(A \cup B) \times (C \cup D) = (A \times C) \cup (A \times D) \cup (B \times C) \cup (B \times D)</math>,
:<math>A \times (B \cap C) = (A \times B) \cap (A \times C)</math>,
:<math>A \times (B \cup C) = (A \times B) \cup (A \times C)</math>.

The Cartesian product of any set and the empty set yields the empty set; symbolically, for any set <math>A</math>, <math>A \times \emptyset = \emptyset \times A = \emptyset</math>.

The Cartesian product can easily be generalized to the ''n''-ary Cartesian product, which is also denoted by <math>\times</math>. The ''n''-ary Cartesian product forms ordered ''n''-tuples from the elements of <math>n</math> sets. Specifically, for sets <math>A_1, A_2, A_3, \ldots, A_n</math>,

:<math>A_1 \times A_2 \times A_3 \times \cdots \times A_n = \{(x_1, \ldots, x_n) : x_i \in A_i \}</math>.

This can be abbreviated as

:<math>\prod_{i=1}^{n} A_i</math>.

In the ''n''-ary Cartesian product, each <math>x_i</math> is referred to as the <math>i</math>-th coordinate of <math>(x_1, \ldots, x_n)</math>.

In the special case where all the factors are the same set <math>A</math>, we can generalize even further. Let <math>A^{\Omega}</math> be the set of all functions <math>f\,:\,\Omega\rightarrow A</math>. Then, in analogy with the above, <math>A^\Omega</math> is effectively the set of "<math>\Omega</math>-tuples" of elements in <math>A</math>, and for each such function <math>f</math> and each <math>i\in \Omega</math>, we call <math>f(i)</math> the <math>i</math>-th coordinate of <math>f</math>. As one might expect, in the simple case when <math>\Omega = \{1,2,...,n\}</math> for an integer <math>n</math>, this construction is equivalent to <math>\prod_{i=1}^n A</math>, which we can abbreviate further as <math>A^n</math>. We also have the important case of <math>\Omega = \mathbb{N}</math>, giving rise to the set of all infinite sequences of elements of <math>A</math>, which we can denote by <math>A^{\infty}</math>. We will need this construction later, in particular when dealing with polynomial rings.

===איחוד זר===
Let <math>A</math> and <math>B</math> be any two sets. We then define their disjoint union, denoted <math>A \coprod B</math> to be the following: First create copies <math>A^\prime</math> and <math>B^\prime</math> of <math>A</math> and <math>B</math> such that <math>A^\prime \cap B^\prime = \emptyset</math>. Then define <math>A \coprod B = A^\prime \cup B^\prime</math>. Notice that this definition is not explicit, like the other operations defined so far. The definition does not output a single set, but rather a family of sets. However, these are all "the same" in a sense which will be defined soon. In other words, there exists bijective functions between them.

Luckily, if a disjoint union is needed for explicit computation, one can easily be constructed, for example <math>A\coprod B =(\{0\} \times A)\cup (\{1\}\times B)</math>.

===הפרש קבוצות===
The set difference, or relative set complement, of sets <math>A</math> and <math>B</math>, denoted by <math>A \setminus B</math>, is the set of elements contained in <math>A</math> which are not contained in <math>B</math>. Symbolically,

:<math>A \setminus B = \{ x \mid x \in A \mbox{ and } x \not\in B\}</math>.

By the definition of set difference, <math>A \setminus B \subseteq A</math>.

The following identities hold for any sets <math>A, B, C</math>:

:<math>A \setminus B = A \Leftrightarrow A \cap B = \emptyset</math>,
:<math>A \setminus B = \emptyset \Leftrightarrow A \subseteq B</math>,
:<math>A \setminus B = A \setminus C \Leftrightarrow A \cap B = A \cap C</math>,
:<math>A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C)</math>,
:<math>A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C)</math>,
:<math>A \setminus (B \setminus C) = (C \cap A) \cup (A \setminus B)</math>,
:<math>A \setminus \emptyset = A</math>,
:<math>A \setminus A = \emptyset</math>,
:<math>\emptyset \setminus A = \emptyset</math>.

The set difference of two Cartesian products can be found as <math>(A \times B) \setminus (C \times D) = [A \times (B \setminus D)] \cup [(A \setminus C) \times B]</math>.

===הקבוצה האוניברסלית ומשלים===
We define some arbitrary set <math>U</math> for which every set under consideration is a subset of <math>U</math> as the universal set, or universe. The complement of any set is then defined to be the set difference of the universal set and that set. That is, for any set <math>A \subseteq U</math>, the complement of <math>A</math> is given by <math>A^C = U \setminus A</math>. The following identities involving set complements hold true for any sets <math>A</math> and <math>B</math>:

:De Morgan's laws for sets:
::<math>(A \cup B)^C = A^C \cap B^C</math>,
::<math>(A \cap B)^C = A^C \cup B^C</math>,
:Double complement law:
::<math>A^{CC} = A</math>,
:Complement properties:
::<math>A \cup A^C = U</math>,
::<math>A \cap A^C = \emptyset</math>,
::<math>\emptyset^C = U</math>,
::<math>U^C = \emptyset</math>,
::<math>A \subseteq B \rightarrow B^C \subseteq A^C</math>.

The set complement can be related to the set difference with the identities <math>A \setminus B = A \cap B^C</math> and <math>(A \setminus B)^C = A^C \cup B</math>.

===הפרש סימטרי===
For sets <math>A</math> and <math>B</math>, the symmetric set difference of <math>A</math> and <math>B</math>, denoted by <math>A \bigtriangleup B</math> or by <math>A \ominus B</math>, is the set of elements which are contained either in <math>A</math> or in <math>B</math> but not in both of them. Symbolically, it can be defined as
:<math>A \bigtriangleup B = \{x : (x \in A) \oplus (x \in B)\}.</math>
More commonly, it is represented as
:<math>A \bigtriangleup B = (A \setminus B) \cup (B \setminus A)</math> or as
:<math>A \bigtriangleup B = (A \cup B) \setminus (A \cap B)</math>.
The symmetric difference is commutative and associative so that <math>A \bigtriangleup B = B \bigtriangleup A</math> and <math>(A \bigtriangleup B) \bigtriangleup C = A \bigtriangleup (B \bigtriangleup C)</math>. Every set is its own symmetric-difference inverse, and the empty set functions as an identity element for the symmetric difference, that is, <math>A \bigtriangleup A = \emptyset</math> and <math>A \bigtriangleup \emptyset = A</math>. Furthermore, <math>A \bigtriangleup B = \emptyset</math> if and only if <math>A = B</math>.

Set intersection is distributive over the symmetric difference operation. In other words, <math>A \cap (B \bigtriangleup C) = (A \cap B) \bigtriangleup (A \cap C)</math>.

The symmetric difference of two set complements is the same as the symmetric difference of the two sets: <math>A^C \bigtriangleup B^C = A \bigtriangleup B</math>.

===סימון עבור קבוצות מיוחדות===
Commonly-used sets of numbers in mathematics are often denoted by special symbols. The conventional notations used in this book are given below.

Natural numbers with 0: <math>\mathbb{N}_0 = \{0, 1, 2, \ldots\}</math> or <math>\mathbb{N} = \{0, 1, 2, \ldots\}</math><br />
Natural numbers without 0: <math>\mathbb{N}^* = \{1, 2, 3, \ldots\}</math><br />
Integers: <math>\mathbb{Z} = \{0, \pm 1, \pm 2, \ldots\}</math><br />
Rational numbers: <math>\mathbb{Q} = \left\{\frac{p}{q} : p \in \mathbb{Z} \mbox{ and } q \in \mathbb{N}^*\right\}</math><br />
Real numbers: <math>\mathbb{R}</math><br />
Complex numbers: <math>\mathbb{C}</math>