vuoi
o PayPal
tutte le volte che vuoi
01-10-2018
Insiemi numerici
- N naturali: {0, 1, 2...}
- Z interi: {0, ±1, ±2...}
- Z+ interi positivi: {1, 2, 3...}
- Q razionali: {m⁄n, n ≠ 0; m ∈ Z}
- R reali: punti della retta
R+: {x ∈ R: x > 0}
R−: {x ∈ R: x ≤ 0}
R = R∪ {0 }∪ R+
(R, +, >) orientamento
x ∈ R
x > 0
x < y ⇒ x + z < y + z
x2 < yx
x2 2
&Prop; 1
&Prop; 2
Dimostrazione
Prop. √2 non è numero razionale non è in Q
Dimostrazione Supponiamo per assurdo che √2 ∈ Q
√2 = m⁄n m, n ∈ Z, n ≠ 0
m2 = 2n2 m2 = 2m2
Supponiamo m e n non abbiano fattori in comune,
sono quindi numeri irriducibili.
Se m2 = k22q q ∈ Z allora K è pari, perché
se fosse dispari K2-2 (<t+1>
quindi k2 ∈ Z (t+1)
Potenzialmente dispari per
m2 = 2m2
2n2 = m2 (2j) 4j2 ⇔
n2 = 2j2
quindi anche
nez pari quindi per n è pari
n=2|s| se
abbiamo
supposto fossero irriducibili,
ma in questo caso abbiamo 2 come
Fattore comune.
Se p è un numero primo allora √p ∉ ℚ
Dimostrazione: supponiamo per assurdo che √p ∈ ℚ
√p=m⁄n
m,n ∈ ℤ e n ≠ 0
m⁄n2 = p
n2p = m2
Supponiamo inoltre che m ed n siano irriducibili.
Insiemi: per elencazione
{x,y,z,…}
{x ∈ ℝ | x2 > 6}
A: insieme
x ∈ A
∃ x
A ⊃ B
x appartiene ad A, è un suo elemento
B ⊂ A B è contenuto in A B è un sottoinsieme di A.
gli elementi di B sono anche elementi di A.
Es. B {3,4,7,8}
3 ∈ B
3 appartiene a B
{3} ⊂ B
insieme composto dal numero 3 è sottoinsieme di B.
{3,4} ⊂ B
{{3,4},8 ⇛ 3,4 ⊂ B
A ∪ B : insieme costituito da tutti gli elementi di A e di B.
unione
A ∩ B : insieme costituito da tutti gli elementi che appartengono contemporaneamente sia ad A che a B}
x ∈ A e x ∈ B
X ⋂ A
X ⋂ A = {gli elementi di X che non appartengono ad A} = Ac
complemento di A in X
∅ : insieme che non contiene alcun elemento
────────────
⊄ Carlo è più alto di 150 cm - Predicato
A noi interessano le relazioni tra i predicati
P,Q : predicati
P ⇛ Q se