Difference between revisions of "Resum pel parcial de fonaments de la matemàtica"
(Added a little bit about "Teoria de conjunts" and added category) |
(Ampliat resum fins el principi de relacions d'ordre) |
||
Line 60: | Line 60: | ||
'''(III) Axioma del parell''': Per a qualsevol parella d'objectes <math>a, b</math> existeix un conjunt <math>u</math> tq <math>x \in u \iff \begin{cases} x = a \\ o \\ x = b \end{cases}</math>. Denotem aquest conjunt per <math>\{a, b\}</math>. Noteu que <math>\{a, b\} = \{b, a\}</math> | '''(III) Axioma del parell''': Per a qualsevol parella d'objectes <math>a, b</math> existeix un conjunt <math>u</math> tq <math>x \in u \iff \begin{cases} x = a \\ o \\ x = b \end{cases}</math>. Denotem aquest conjunt per <math>\{a, b\}</math>. Noteu que <math>\{a, b\} = \{b, a\}</math> | ||
=== Propietats bàsiques de <math>\cup</math> i <math>\cap</math> === | |||
{{Under construction|Avm99963}} | |||
=== Conjunts inductius === | |||
Un conjunt inductiu és un conjunt <math>I</math> tal que | |||
# <math>\emptyset \in I</math> | |||
# <math>x \in I \implies x \cup \{x\} \in I</math> | |||
==== Axioma de l'infinit ==== | |||
Existeix un conjunt inductiu <math>I_o</math>. | |||
==== Els nombres naturals ==== | |||
El conjunt dels nombres naturals és <math>\mathbb{N} = \bigcap\limits_{I \text{ inductiu}} I</math> | |||
=== Correspondències === | |||
Una correspondència entre dos conjunts <math>A, B</math> és un subconjunt <math>R \subset A \times B</math> | |||
==== Parell ordenat ==== | |||
Siguin <math>A, B</math> conjunts, <math>a \in A, b \in B</math>. | |||
Un parell ordenat determinat per <math>a, b</math> és <math>(a, b) = \{\{a\}, \{a, b\}\}</math> | |||
==== Producte cartesià ==== | |||
El producte cartesià dels conjunts <math>A, B</math> és el conjunt <math>A \times B = \{(a, b) : a \in A, b \in B\}</math> | |||
==== Alguns tipus/exemples de correspondències ==== | |||
* Aplicacions | |||
* Relacions d'equivalència | |||
* Relacions d'ordre | |||
=== Aplicacions === | |||
Siguin <math>A, B</math> conjunts. Una '''aplicació''' d'<math>A</math> en <math>B</math> és una correspondència <math>F \subset A \times B</math> tal que <math>\forall a \in A \exists! b \in B \text{ tq } (a, b) \in F</math> | |||
Solem escriure-ho <math>\begin{array}{rl} F: & A \longrightarrow B \\ & a \longmapsto F(a) = b \end{array}</math> | |||
Direm que <math>A</math> és el <u>conjunt de sortida</u> i B és el <u>conjunt d'arribada</u>. | |||
==== Tipus d'aplicacions ==== | |||
# Injectiva: <math>\forall a, a' \in A \quad f(a) = f(a') \implies a = a'</math> | |||
# Exhaustiva: <math>\forall b \in B \exists a \in A \text{ tq } f(a) = b</math> | |||
# Bijectiva: injectiva i exhaustiva | |||
==== Propietats de les aplicacions ==== | |||
{{Under construction|Avm99963}} | |||
=== Relacions d'equivalència === | |||
Sigui <math>A</math> un conjunt. Una '''relació d'equivalència''' en A és una correspondència <math>R \in A \times A</math> que satisfà les propietats següents: | |||
# '''P. reflexiva''': <math>\forall a \in A \quad (a, a) \in \mathbb{R}</math> | |||
# '''P. simètrica''': <math>\forall a, b \in A \quad (a, b) \in \mathbb{R} \implies (b, a) \in \mathbb{R}</math> | |||
# '''P. transitiva''': <math>\forall a, b, c \in A \quad (a, b) \in \mathbb{R}, (b, c) \in \mathbb{R} \implies (a, c) \in \mathbb{R}</math> | |||
'''Notació''': escriurem <math>aRb</math> o <math>a \sim b</math> en lloc de <math>(a, b) \in R</math> i direm que <math>a</math> està relacionat amb <math>b</math> (per <math>R</math>). | |||
==== Classe d'equivalència ==== | |||
Sigui <math>A</math> un conjunt i <math>R</math> una relació d'equivalència en <math>A</math>. <math>[a] = \{b \in A : aRb\}</math> és una '''classe d'equivalència de A'''. | |||
A més a més <math>\dfrac{A}{R} = \{[a] : a \in A\}</math> és el '''conjunt quocient''' de <math>A</math> per <math>R</math>. | |||
=== Relacions d'ordre === | |||
Sigui <math>A</math> un conjunt. Llavors <math>\leq \in A \times A</math> és una '''relació d'ordre''' i compleix les següents propietats: | |||
# '''P. reflexiva''': <math>a \leq a</math> | |||
# '''P. antisimètrica''': <math>\left\{\begin{array} a \leq b \\ b \leq a \end{array}\right\} \implies a = b</math> | |||
# '''P. transitiva''': <math>\left\{\begin{array} a \leq b \\ b \leq c \end{array}\right\} \implies a \leq c</math> | |||
Existeixen dos tipus d'ordre: | |||
* '''Relació d'ordre total''': <math>\forall a, b \in A \begin{cases} a \leq b \\ \text{o bé} \\ b \leq a \end{cases}</math> | |||
[[Category:Fonaments de la matemàtica]] | [[Category:Fonaments de la matemàtica]] |
Revision as of 20:37, 4 December 2017
Tema 0: Introducció als nombres complexos
El conjunt dels nombres complexos es defineixe: [math]\displaystyle{ \mathbb{C} = \{a+bi : a, b \in \mathbb{R}\} }[/math]
Definicions
Sigui [math]\displaystyle{ z = a+bi }[/math] un nombre complex. Aleshores:
- El mòdul és: [math]\displaystyle{ |z| = \sqrt{a^2 + b^2} }[/math]
- El conjugat és: [math]\displaystyle{ \overline{z} = a-bi }[/math]
- La part real és: [math]\displaystyle{ \text{Re } z = a }[/math]
- La part imaginària és: [math]\displaystyle{ \text{Im } z = b }[/math]
- El punt afix és el punt de coordenades [math]\displaystyle{ (a, b) }[/math]
Operacions amb els complexos
Suma: [math]\displaystyle{ (a+bi) + (c+di) = (a+c) + (b+d)i }[/math]
Multiplicació: [math]\displaystyle{ (a+bi)(c+di) = (ac-bd) + (ad+bc)i }[/math]
Divisió: [math]\displaystyle{ \dfrac{a+bi}{c+di} = \dfrac{(a+bi)(c-di)}{c^2 + d^2} }[/math]
Expressió trigonomètrica o polar dels complexos
[math]\displaystyle{ r = |z|, \alpha = \text{arg } z \implies \left\{ \begin{array}{l} a = \text{Re } z = r \cdot \cos \alpha \\ b = \text{Im } Z = r \cdot \sin \alpha \end{array}\right\} \implies \begin{cases} r = \sqrt{a^2 + b^2} \\ \alpha = \arctan(\frac{b}{a}) \end{cases} }[/math]
Forma polar: [math]\displaystyle{ z = r_\alpha }[/math]
Forma exponencial: [math]\displaystyle{ z = r \cdot e^{\alpha i} }[/math]
Propietat bàsica del mòdul i de l'exponent
- [math]\displaystyle{ |z_1 \cdot z_2| = |z_1| \cdot |z_2| }[/math]
- [math]\displaystyle{ \text{arg } (z_1 \cdot z_2) = \text{arg } (z_1) + \text{arg } (z_2) + 2 \pi k \quad \forall k \in \mathbb{Z} }[/math]
Teorema
[math]\displaystyle{ e^{i\alpha} = \cos \alpha + i \sin \alpha }[/math]
Fòrmua de Moivre: [math]\displaystyle{ (\cos x + i \sin x)^n = \cos (nx) + i \sin (nx) }[/math]
Fòrmula d'Euler: [math]\displaystyle{ e^{i\pi} = -1 }[/math]
Arrels n-éssimes de nombres complexos
[math]\displaystyle{ \sqrt[n]{r \cdot e^{i\alpha}} = \sqrt[n]{r} \cdot e^{\frac{i\alpha}{n} + \frac{2 \pi i}{n}k} \quad \forall k = \{0, 1, \ldots, n-1\} }[/math]
Propietats del conjugat
- [math]\displaystyle{ \overline{z_1 \pm \lt _2} = \overline{z_1} \pm \overline{z_2} }[/math]
- [math]\displaystyle{ \overline{z_1 \cdot z_2} = \overline{z_1} \cdot \overline{z_2} }[/math]
- [math]\displaystyle{ \text{Si } \lambda \in \mathbb{R} \quad \overline{\lambda \cdot z} = \lambda \cdot \overline{z} }[/math]
- [math]\displaystyle{ \overline{z_1 \div z_2} = \overline{z_1} \div \overline{z_2} \quad \text{si } z_2 \neq 0 }[/math]
Teorema Fonamental de l'Àlgebra
[math]\displaystyle{ \mathbb{C} }[/math] és un cos algebraicament tancat, és a dir, tot polinomi amb coeficients complexos té tantes arrels complexes com el seu grau.
Tema 1: Teoria de conjunts
Existeixen uns objectes que anomenem conjunts i una relació de pertinença ([math]\displaystyle{ \in }[/math]) de forma que per a cada conjunt [math]\displaystyle{ A }[/math] i cada objecte [math]\displaystyle{ X }[/math] una i només una de les afirmacions següents és certa:
- [math]\displaystyle{ x \in A }[/math]
- [math]\displaystyle{ x \notin A }[/math]
3 primers axiomes de Zermelo-Fraenkel
(I) Axioma d'extensió: Dos conjunts [math]\displaystyle{ A, B }[/math] són iguals quan [math]\displaystyle{ x \in A \iff x \in B \quad \forall x }[/math]
(II) Axioma del conjunt buit: Existeix un conjunt [math]\displaystyle{ B }[/math] tq [math]\displaystyle{ x \notin B \quad \forall x }[/math]
(III) Axioma del parell: Per a qualsevol parella d'objectes [math]\displaystyle{ a, b }[/math] existeix un conjunt [math]\displaystyle{ u }[/math] tq [math]\displaystyle{ x \in u \iff \begin{cases} x = a \\ o \\ x = b \end{cases} }[/math]. Denotem aquest conjunt per [math]\displaystyle{ \{a, b\} }[/math]. Noteu que [math]\displaystyle{ \{a, b\} = \{b, a\} }[/math]
Propietats bàsiques de [math]\displaystyle{ \cup }[/math] i [math]\displaystyle{ \cap }[/math]
|
One editor is actually working in this article or section. For this reason the article may not be completely accurate and there may be deficiencies in its format. You are welcome to assist in its construction by editing it as well, but before making major corrections contact them in their talk page or in the talk page of the article to be able to coordinate the editing. |
Conjunts inductius
Un conjunt inductiu és un conjunt [math]\displaystyle{ I }[/math] tal que
- [math]\displaystyle{ \emptyset \in I }[/math]
- [math]\displaystyle{ x \in I \implies x \cup \{x\} \in I }[/math]
Axioma de l'infinit
Existeix un conjunt inductiu [math]\displaystyle{ I_o }[/math].
Els nombres naturals
El conjunt dels nombres naturals és [math]\displaystyle{ \mathbb{N} = \bigcap\limits_{I \text{ inductiu}} I }[/math]
Correspondències
Una correspondència entre dos conjunts [math]\displaystyle{ A, B }[/math] és un subconjunt [math]\displaystyle{ R \subset A \times B }[/math]
Parell ordenat
Siguin [math]\displaystyle{ A, B }[/math] conjunts, [math]\displaystyle{ a \in A, b \in B }[/math].
Un parell ordenat determinat per [math]\displaystyle{ a, b }[/math] és [math]\displaystyle{ (a, b) = \{\{a\}, \{a, b\}\} }[/math]
Producte cartesià
El producte cartesià dels conjunts [math]\displaystyle{ A, B }[/math] és el conjunt [math]\displaystyle{ A \times B = \{(a, b) : a \in A, b \in B\} }[/math]
Alguns tipus/exemples de correspondències
- Aplicacions
- Relacions d'equivalència
- Relacions d'ordre
Aplicacions
Siguin [math]\displaystyle{ A, B }[/math] conjunts. Una aplicació d'[math]\displaystyle{ A }[/math] en [math]\displaystyle{ B }[/math] és una correspondència [math]\displaystyle{ F \subset A \times B }[/math] tal que [math]\displaystyle{ \forall a \in A \exists! b \in B \text{ tq } (a, b) \in F }[/math]
Solem escriure-ho [math]\displaystyle{ \begin{array}{rl} F: & A \longrightarrow B \\ & a \longmapsto F(a) = b \end{array} }[/math]
Direm que [math]\displaystyle{ A }[/math] és el conjunt de sortida i B és el conjunt d'arribada.
Tipus d'aplicacions
- Injectiva: [math]\displaystyle{ \forall a, a' \in A \quad f(a) = f(a') \implies a = a' }[/math]
- Exhaustiva: [math]\displaystyle{ \forall b \in B \exists a \in A \text{ tq } f(a) = b }[/math]
- Bijectiva: injectiva i exhaustiva
Propietats de les aplicacions
|
One editor is actually working in this article or section. For this reason the article may not be completely accurate and there may be deficiencies in its format. You are welcome to assist in its construction by editing it as well, but before making major corrections contact them in their talk page or in the talk page of the article to be able to coordinate the editing. |
Relacions d'equivalència
Sigui [math]\displaystyle{ A }[/math] un conjunt. Una relació d'equivalència en A és una correspondència [math]\displaystyle{ R \in A \times A }[/math] que satisfà les propietats següents:
- P. reflexiva: [math]\displaystyle{ \forall a \in A \quad (a, a) \in \mathbb{R} }[/math]
- P. simètrica: [math]\displaystyle{ \forall a, b \in A \quad (a, b) \in \mathbb{R} \implies (b, a) \in \mathbb{R} }[/math]
- P. transitiva: [math]\displaystyle{ \forall a, b, c \in A \quad (a, b) \in \mathbb{R}, (b, c) \in \mathbb{R} \implies (a, c) \in \mathbb{R} }[/math]
Notació: escriurem [math]\displaystyle{ aRb }[/math] o [math]\displaystyle{ a \sim b }[/math] en lloc de [math]\displaystyle{ (a, b) \in R }[/math] i direm que [math]\displaystyle{ a }[/math] està relacionat amb [math]\displaystyle{ b }[/math] (per [math]\displaystyle{ R }[/math]).
Classe d'equivalència
Sigui [math]\displaystyle{ A }[/math] un conjunt i [math]\displaystyle{ R }[/math] una relació d'equivalència en [math]\displaystyle{ A }[/math]. [math]\displaystyle{ [a] = \{b \in A : aRb\} }[/math] és una classe d'equivalència de A.
A més a més [math]\displaystyle{ \dfrac{A}{R} = \{[a] : a \in A\} }[/math] és el conjunt quocient de [math]\displaystyle{ A }[/math] per [math]\displaystyle{ R }[/math].
Relacions d'ordre
Sigui [math]\displaystyle{ A }[/math] un conjunt. Llavors [math]\displaystyle{ \leq \in A \times A }[/math] és una relació d'ordre i compleix les següents propietats:
- P. reflexiva: [math]\displaystyle{ a \leq a }[/math]
- P. antisimètrica: [math]\displaystyle{ \left\{\begin{array} a \leq b \\ b \leq a \end{array}\right\} \implies a = b }[/math]
- P. transitiva: [math]\displaystyle{ \left\{\begin{array} a \leq b \\ b \leq c \end{array}\right\} \implies a \leq c }[/math]
Existeixen dos tipus d'ordre:
- Relació d'ordre total: [math]\displaystyle{ \forall a, b \in A \begin{cases} a \leq b \\ \text{o bé} \\ b \leq a \end{cases} }[/math]