Defintioner och Bevis Flashcards
Mängd
En mängd är en väldefinierad samling element
Naturliga tal
N = positiva heltal
Hela talen
Z alla hela tal, t.ex. …, -1, 0, 1,…
Rationella talen
Q = Ett tal som kan skrivas på formen a/b, där a,b är heltal och b≠0.
Reella talen
R = Alla oändliga och ändliga decimalutvecklingar, tänk tallinje.
Irrationella tal
Ett tal vars decimalutveckling varken är ändlig eller periodisk. T.ex. pi, roten ur 2, e.
Utsaga
En utsaga eller ett påstående är ett uttryck eller yttrande som har ett sanningsvärde, dvs man kan säga att det är sant eller falskt.
Öppen utsaga
Påståenden/utsagor som innehåller yttranden som innehåller 1 eller flera ospecificerade fria variabler.
- Sant eller falskt beroende på vilka värden variablerna har
Konjunktion
Och ∧.
P∧Q är sann precis då både P och Q är sanna.
Disjunktion
Eller v
PvQ är sann då minst en av P och Q är sanna.
Negation
inte ¬
¬ P är sann precis då P är falsk.
⇒
Implikation: P medför Q
⇔
Ekvivalens: P om och endast om Q
Defintion
Man inför olika objekt och egenskaper
Axiom
Grundläggande egenskaper som talar om hur dem definierade objekten “fungerar”.
Satser
Påståenden om de definierade objekten och deras egenskaper som är sanna under vissa angivna förutsättningar.
Bevis
Argumentationskedjor som visar/talar om att en viss sats gäller.
Direkt bevis
Ett direkt bevis är av typen P ⇒ u1⇒u2⇒Q
Indirekt bevis
Ett indirekt bevis är av typen ¬P⇒u1⇒¬Q
Motsägelsebevis
nära besläktad med indirekta bevis. ¬Q och slutar där man vet att u är falsk.
Kommutativa lagen
a+b = b+a
a·b = b·a
Associativa lagen
(a+b)+c = a+(b+c)
(a·b)·c = a·(b·c)
Distributiva lagen
a·(b+c) = ab + ac
Ekvation
En ekvation är ett matematiskt uttryck som innehåller obekanta (tal, funktioner, etc) och likheter.
Förstagradsekvation
En förstagradsekvation är en ekvation av formen ax+b=0, där a≠0 och x∈R är obekant.
Linjär ekvation
a1,x1+a2x2+…+anxn=b där a1,a2,…an,b ∈R
En linjär ekvation med fler än 1 obekant har…
oändligt många lösningar.
Linjära ekvationssystem
Flera linjära ekvationer ska vara uppfyllda samtidigt.
Elementära radoperationer
- Byta plats på två rader
- Multiplicera en rad med en konstant ≠0
- Addera en multipel av en rad till en annan rad.
Vinkel
Om två stycken sträckor dras ifrån samma punkt uppstår en (två) vinklar.
Sidovinklar
Om α,β är sidovinklar, så är α+β = 180˚
Vertikalvinklar
Om α,β är vertikalvinklar så är α=β
Alternatvinklar
Om α,β är alternatvinklar, så är α=β
Likbenägna vinklar
Om α,β är likbenägna, så är α=β.
En vinkel α kallas
- Spetsig
- Rät
- Trubbig
- Spetsig om α < 90˚
- Rät om α=90˚
- Trubbig om α > 90˚
Triangel
En triangel består av tre punker som inte ligger på samma linje tillsammans med de sträckor som tillhär punkterna.
- Punkt=hörn
- Sträckor=sidor
Spetsvinklig triangel
Om alla dess vinklar är < 90˚
Rätvinklig Triangel
Om en vinkel är = 90˚
Trubbvinklig triangel
om en vinkel är > 90˚
Likbent triangel
Om två sidor är lika långa (om två vinklar är lika stora)
Liksidig triangel
Om alla sidor är lika långa (alla vinklar är lika stora).
Vinkelsumman i en triangel är alltid 180˚
Vi vet att en vinkel, samt två vinklar bredvid denna blir 180˚. Eftersom dessa två vinklar bredvid är alternatvinklar till de andra vinklarna i triangeln, blir totala vinkelsumman 180˚.