Aibės Flashcards
Disfunkcija
teiginių loginė suma - teiginys, sudarytas iš kitų teiginių, sujungtų logine jungtimi „arba” (p ∨ q)
Konjunkcija
teiginių loginė sandauga - teiginys, sudarytas iš kitų teiginių, sujungtų logine jungtimi „ir” (p ∧ q)
Implikacija
teiginys, sudarytas iš kitų teiginių, sujuntų logine jungtimi „jei …, tai …” (išvados ženklas ⇒). Tiesioginė teorema p ⇒ q ir atvirkštinė q ⇒ p
Logiškai ekvivalentūs teiginiai
du teiginiai, sujungti logine jungtimi „ tada ir tik tada, kai” (p ⇔ q, jei abi p ⇒ q ir q ⇒ p yra teisingos)
Kvantoriai
kiekybiškai apibūdina teiginį. Bendrumo ir egzistavimo kvantoriai
Bendrumo kvantorius
∀ - visi
pvz.: ∀x ∈ R : x + 2 = 2 + x
Egzistavimo kvantorius
∃ - egzistuoja bent vienas
pvz.: ∃x ∈ N : x + 2 = 5
Priešingoji teorema ir priešingoji atvirkštinei
|p ⇒ |q ir |q ⇒ |p
Tiesioginė ir priešinga atvirkštinei teoremos yra ekvivalenčios
p ⇒ q ⇔ |q ⇒ |p
Matematinės indukcijos metodas
1) patikriname ar teiginys teisingas, kai n = 1
2) darome prielaidą, kad teiginys teisingas, kai n = k
3) pasinaudodami prielaida parodysime, kad teiginys teisingas, kai n = k + 1
4) darome išvada, jog teiginys teisingas ir su bet kuriuo natūraliuoju skaičiumi n
Aibės sąvoka
neapibrėžiama, pirminė. Objektų, kuriems būdingas tam tikras požymis, visuma.
Elementų x aibė turi savybę P(x)
{x|P(x)}
pvz.: aibė taškų (x; y), kurių
koordinatės tinka nelygybei y^2 − 4x > 0
{(x; y)|y^2 − 4x > 0}
Skaičių aibės
N = {1; 2; 3; …; n; …} – natūralieji (6/3; traukti šaknį iš 16; …)
Z = {…; −3; −2; −1; 0; 1; 2; 3; …} – sveikieji
Q = {m/n ; m ∈ Z, n ∈ N} – racionalieji (1/2; 0,6; -4/5; 0,(3); …)
I = {pi, e, neištraukiamos šaknys} – iracionalieji
R = {visi sk.} – realieji
Aibės poaibis
Aibė A, kurios kiekvienas elementas kartu yra ir aibės B elementas
A ⊂ B arba B ⊃ A
pvz.: N ⊂ Z, Z ⊂ Q,
Q ⊂ R
Aibių sąjunga
Aibė A ∪ B, sudaryta iš elementų, priklausančių bent vienai iš aibių A, B.
A ∪ B = {x|x ∈ A ∨ x ∈ B}
Aibių sankirta
Aibė A ∩ B, sudaryta iš elementų, priklausančių abiems aibėms
A ∩ B = {x|x ∈ A ∧ x ∈ B}
Aibių skirtumas
Aibė A\B, sudaryta iš tų aibės A elementų, kurie nepriklauso aibei B
A\B = {x|x ∈ A ∧ x ∈/ B}
Aibės papildinys
Aibės A ⊂ E papildiniu iki aibės E vadiname aibę A^c, sudarytą iš tų aibės E elementų, kurie nepriklauso A
A^c = {x|x ∈ E ∧ x ∈/ A} = E\A
Bijekcija
abipusiškai vienareikšmis X atvaizdis į Y (aibės atvaizdis į aibę, kai vieną elementą x ∈ X atitinka vienas y ∈ Y, ir atvirkščiai)
Jei tarp dviejų abių A ir B nustatyta bijekcija, tai aibės ekvivalenčios A ∼ B
Aprėžtoji iš viršaus aibė (A ⊂ R)
jeigu egzistuoja realusis skaičius
M, su kuriuo x =< M, ∀x ∈ A
Aprėžtoji iš apačios aibė
jeigu egzistuoja skaičius m, su kuriuo x => m, ∀x ∈ A
Aprėžtoji aibė
Kai m =< x =< M, ∀x ∈ A
m ir M – tos aibės apatinis ir viršutinis rėžiai
pvz.: A = {x|x = 1/n, ∀n ∈ N}
(iš viršaus aprėžta skaičiumi 1, o iš apačios – skaičiumi 0)
pirmasis rėžis priklauso aibei, o antrasis ne
Tikslusis višutinis aibės rėžis
sup A arba sup{x}, mažiausias iš visų viršutinių aibės A rėžių
Tikslusis apatinis aibės rėžis
inf A arba inf{x}, didžiausias iš visų apatinių aibės A rėžių
Realiojo skaičiaus a modulis
neneigiamas skaičius, apibrėžtas lygybe |a| = { a, kai a => 0,
{ -a, kai a < 0
|x| =< a ⇔ −a =< x =< a, o |x| => a ⇔ x =< −a ∨ x => a
4 modulio savybės
1) |ab| = |a| * |b|,
2) |a/b| = |a|/|b|, b != 0,
3) |a + b| =< |a| + |b|,
4) ||a| − |b|| =< |a − b|.
Taško a δ spindulio aplinka
V.δ(a)
Intervalas (a − δ; a + δ)
a ∈ R ir δ > 0.
Ribinis (sankaupos) taškas
Taškas a (aibės E ⊂ R), jei kiekvienoje jo aplinkoje yra dar bent vienas aibės E taškas, nesutampantis su a
Uždaroji aibė
jei kiekvienas ribinis aibės E taškas priklauso tai aibei
Tokia, pavyzdžiui, yra atkarpa [a; b], todėl ji dažnai vadinama uždaruoju
intervalu
Aibės (E) vidinis taškas
Taškas a, jei yra bent viena to taško aplinka V.δ(a) ⊂ E
Pavyzdžiui, intervalo (a; b) visi taškai yra vidiniai, atkarpos [a; b] visi taškai,
išskyrus galus a ir b, taip pat yra vidiniai
Atviroji aibė
jei kiekvienas aibės taškas yra jos vidinis taškas
Pavyzdžiui, tokia yra aibė (a; b), todėl šis intervalas dažnai vadinamas
atviruoju