Difference between revisions of "Resum pel parcial de fonaments de la matemàtica"

From Potatopedia
(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

  1. [math]\displaystyle{ |z_1 \cdot z_2| = |z_1| \cdot |z_2| }[/math]
  2. [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

  1. [math]\displaystyle{ \overline{z_1 \pm \lt _2} = \overline{z_1} \pm \overline{z_2} }[/math]
  2. [math]\displaystyle{ \overline{z_1 \cdot z_2} = \overline{z_1} \cdot \overline{z_2} }[/math]
  3. [math]\displaystyle{ \text{Si } \lambda \in \mathbb{R} \quad \overline{\lambda \cdot z} = \lambda \cdot \overline{z} }[/math]
  4. [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:

  1. [math]\displaystyle{ x \in A }[/math]
  2. [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]

Conjunts inductius

Un conjunt inductiu és un conjunt [math]\displaystyle{ I }[/math] tal que

  1. [math]\displaystyle{ \emptyset \in I }[/math]
  2. [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

  1. Injectiva: [math]\displaystyle{ \forall a, a' \in A \quad f(a) = f(a') \implies a = a' }[/math]
  2. Exhaustiva: [math]\displaystyle{ \forall b \in B \exists a \in A \text{ tq } f(a) = b }[/math]
  3. Bijectiva: injectiva i exhaustiva

Propietats de les aplicacions

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:

  1. P. reflexiva: [math]\displaystyle{ \forall a \in A \quad (a, a) \in \mathbb{R} }[/math]
  2. P. simètrica: [math]\displaystyle{ \forall a, b \in A \quad (a, b) \in \mathbb{R} \implies (b, a) \in \mathbb{R} }[/math]
  3. 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:

  1. P. reflexiva: [math]\displaystyle{ a \leq a }[/math]
  2. P. antisimètrica: [math]\displaystyle{ \left\{\begin{array} a \leq b \\ b \leq a \end{array}\right\} \implies a = b }[/math]
  3. 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]