Matemaattinen merkintä

Katso myös: Luettelo matemaattisista merkeistä, Kreikkalainen kirjaimisto

Matemaattinen merkintä eli matemaattinen notaatio on tapa ilmaista matemaattisia objekteja ja käsitteitä symboleilla.^[1] Sitä käytetään ainakin matematiikassa, luonnontieteissä ja kirjanpidossa.

MääritelmäMuokkaa

Matemaattinen merkintä on kirjoitusjärjestelmä (oikeastaan formaali kieli), jota käytetään tallentamaan matemaattisia käsitteitä. Merkintä käyttää symboleita tai symbolien yhdistelmiä, joille on niitä kehitettäessä pyritty asettamaan mahdollisimman täsmällinen ja käytännöllinen merkitys.

Matemaattisen merkinnän historiaMuokkaa

Uskotaan, että jonkinlainen matemaattinen merkintä kehittyi ensimmäisen kerran vähintään 50 tuhatta vuotta sitten esineiden laskemisen auttamiseen. Todennäköisesti vanhimmat laskemiseen liittyvät säilyneet tekstit ovat peräisin sumereilta.

Geometriaan liittyvä merkistö kehittyi yhtenäiseksi vasta 1600-luvulla analyyttisen geometrian myötä.

Lopullisesti matemaattinen merkintä asettui nykyiseen standardoituun muotoonsa vasta 1700- ja 1800-luvulla.

Matemaattiset merkitMuokkaa

Reaali- ja kompleksiluvutMuokkaa

Symboli	Vaihtoehto	Tarkoittaa	Esimerkki
=		Yhtä suuri. Yhdistää kaksi lauseketta samanarvoisiksi.	2+5+9 = 16
≠		Erisuuri. Ilmoittaa, että merkki tai numero on erisuuri kuin toinen.	X ≠ 6 tai 5 ≠ 6
< ja >		Pienempi kuin ja suurempi kuin. Terävän pään osoittama luku on pienempi.	3<7 ja 7>3 tai X>3 ja 3<X

AritmetiikkaMuokkaa

PeruslaskutoimituksetMuokkaa

Symboli	Luetaan	Tarkoittaa	Esimerkki
+	"2+2" Kaksi plus kaksi	Yhteenlasku – Muodostaa kahden luvun summan.	2+5+9=16
-	"2−2" Kaksi miinus kaksi	Vähennyslasku – Muodostaa kahden luvun erotuksen.	2-2=0
*	"3*4" Kolme kertaa neljä	Kertolasku – muodostaa kahden luvun tulon. Lyhenne toistuvalle yhteenlaskulle.	3*4=3+3+3+3=4+4+4=12
/	"2/5" Kaksi jaettuna viidellä	Jakolasku – muodostaa kahden luvun osamäärän. Nollalla ei voi jakaa. Jakolaskulle on paljon vaihtoehtoisia merkintöjä.	2/5=0,4

Potenssit ja juuretMuokkaa

Symboli	Tarkoittaa	Luetaan
$x^{y}$	Potenssilasku - Suurempaa merkkiä kutsutaan kantaluvuksi ja sen yläindeksiä eksponentiksi. Merkintä tarkoittaa, että kantaluku kerrotaan itsellään niin monta kertaa kuin eksponentti määrää.	x y:änteen tai x potenssiin y
${\sqrt[{x}]{y}}$	Juuri - Esimerkiksi merkintä ${\sqrt[{2}]{4}}$ tarkoittaa lukua X, joka korotettuna toiseen potenssiin on neljä. Yleensä tämä tosin merkitään ${\sqrt[{}]{4}}$ , eli numeroa kaksi ei merkitä (kaikki muut luvut merkitään).	x:s juuri y:stä

MuutMuokkaa

Symboli	Selitys
−	Negatiivinen etumerkki
... $\|$ ...	Jaollisuuden merkintä - Merkintä tarkoittaa, että oikealla puolen pystyviivaa oleva luku on jaollinen vasemmalla puolella olevalla,
$\sum$	Summan merkintä - Esimerkiksi $\sum _{i=m}^{n}x_{i}=x_{m}+x_{m+1}+x_{m+2}+\cdots +x_{n-1}+x_{n}.$ Käytännössä lasketaan kaikki X:t $x_{m}$ :n ja $x_{n}$ :n väliltä. Pientä i-kirjainta kutsutaan summausindeksiksi.
$\prod$	Tulon merkintä - Esimerkiksi $\prod _{k=1}^{n}a_{k}=a_{1}a_{2}...a_{n}$ . Käytännössä kerrotaan keskenään kaikki a:t välillä $a_{1}-a_{n}$

GeometriaMuokkaa

Symboli	Tarkoittaa
... $\|\|$ ...	Suorat ... ja ... ovat samansuuntaiset
...°	"°"-merkki ilmoittaa kulman suuruutta, astemäärää.
π	"π" - Pii. Pii on luku, joka on yhtä suuri kuin ympyrän halkaisijan suhde kehään euklidisessa geometriassa. π≈3,14
$\angle$	Kulman merkki. Esimerkiksi kulma, jonka oikea sivu A ja vasen sivu B leikkaavat pisteessä C, on nimeltään $\angle$ ACB.
$\perp$	Suoran kulman merkki.

Joukko-oppiMuokkaa

Symboli	Miten luetaan	Määritelmä
{a, b, c}	Joukko (, jonka alkiot ovat) a, b, c
${\|}$		Alkioiden tulee täyttää molemmat pystyviivan eri puolilla olevat ehdot.
... = ...	... on sama kuin ...	Osoittaa, että merkin eri puolilla olevat joukot sisältävät samat alkiot.
... ≠ ...	... on eri kuin ...	Osoittaa, että merkin eri puolilla olevat joukot eivät ole samat.
$\in$ $\not \in$	$a\in A$ "alkio a kuuluu joukkoon A" $a\not \in A$ "alkio a ei kuulu joukkoon A"
$\subset$ $\subseteq$	$B\subset A$ "joukko B on joukon A osajoukko", ts. "jokainen B:n alkio on myös A:n alkio". Joskus merkitään $B\subseteq A$ . $B\subset A$ "joukko B on joukon A (aito) osajoukko", ts. "jokainen B:n alkio on myös A:n alkio (mutta B ≠ A)".	$B\subset A$ , kun kaikilla $b\in B$ pätee $b\in A$ , ts. $\forall b\in B:b\in B\Rightarrow b\in A$
$\wedge$	Looginen ja
$\vee$	Looginen tai
$\cup$	$A\cup B$ "A unioni B", "Joukkojen A ja B yhdiste"	$A\cup B$ = $\{x\in E\|x\in A\vee x\in B\}$ = {Joukkojen A ja B kaikkien alkioiden joukko} (Tässä E on niin sanottu perusjoukko.)
$\cap$	$A\cap B$ "A leikkaus B"	$A\cap B$ = $\{x\in E\|x\in A\ \wedge x\in B\}$ = {Joukkojen A ja B yhteiset alkiot}
\	A \ B "A miinus B". Merkitään joskus myös merkillä "-".	A \ B = $\{x\in E\|x\in A\wedge x\not \in B\}$ = {Kaikki ne alkiot, jotka kuuluvat joukkoon A mutta eivät kuulu joukkoon B (ks. joukkoerotus)}
$\Delta$		$A\Delta B=(A-B)\cup (B-A)$ = {Kaikkien niiden alkioiden joukko, jotka kuuluvat joko joukkoon A tai joukkoon B, mutta eivät kuulu molempiin.}
A^c	A^c "A:n komplementti"	A^c = $\{x\in E\|x\not \in A\}$ = {Kaikki ne alkiot, jotka eivät kuulu joukkoon A}
${\mathcal {P}}(A)$	${\mathcal {P}}(A)$ "A:n potenssijoukko"	${\mathcal {P}}(A)$ = {Kaikki A:n osajoukot}
${\mbox{card}}(X)$	X:n kardinaali	X:n sisältämien alkioiden lukumäärä

LukujoukotMuokkaa

Symboli	Tarkoittaa	Esimerkiksi
$\mathbb {N}$	Luonnollisten lukujen joukko	0, 1, 2, 3, 4, 5 ...
$\mathbb {Z}$	Kokonaislukujen joukko	... -2, -1, 0, 1, 2 ...
$\mathbb {Q}$	Rationaalilukujen joukko. Reaaliluvut, jotka voidaan ilmoittaa murtolaskuna	${\frac {a}{b}}$
$\mathbb {R}$	Reaalilukujen joukko, kaikki luvut	π, e ja 100
$\mathbb {C}$	Kompleksilukujen joukko, reaalilukujen laajennus	$x+yi\,$

<<Muokkaa

Merkintää "<<" tai ">>" käytetään merkitsemään lauseke paljon suuremmaksi kuin toinen lauseke. Tämä on epämääräinen määritelmä, ja yleensä käytetäänkin merkkejä "<" ja ">", ellei ole välttämätöntä korostaa, että lauseke on "paljon" suurempi kuin toinen. Merkinnän terävä pää osoittaa aina pienempää ja avonainen suurempaa suuretta päin. Esimerkiksi 0,1<<1000.

$\ll$ Muokkaa

Merkintää $\ll$ käytetään reaalianalyysissä merkitsemään mittojen absoluuttista jatkuvuutta.

≤ tai ≥Muokkaa

Pienempi/suurempi tai yhtä suuri kuin -merkki on reaalilukujen kaksipaikkainen relaatio, jota käytetään reaalilukujen vertailuun. Se on muuten kuin suurempi kuin -relaatio, mutta se on myös järjestysrelaatio.

Esimerkki käytöstä: $2\geq 1$ , koska $2-1\in \mathbb {N} _{0}$ (N_0).

Formaali määritelmä:

Olkoon $\geq$ relaatio joukossa $\mathbb {N} _{0}$ , toisin sanoen $\geq \subset \mathbb {N} _{0}\times \mathbb {N} _{0}$ .

Määritellään relaatio seuraavasti.

$m,n\in \mathbb {N}$ : $(\left(m,n)\in \,\geq \right)$ $\Leftrightarrow$ $(\left(m-n)\in \mathbb {N} _{0}\right)$ .

Siis sanallisesti: Luku m on suurempi tai yhtä suuri kuin n, jos ja vain jos erotus m - n kuuluu positiivisten kokonaislukujen joukkoon.

Määritelmä voidaan siirtää suoraan reaaliluvuille, mutta ei esimerkiksi kompleksiluvuille.

+Muokkaa

Yhteenlaskumerkki (sekä erillinen unioni (engl. disjoint union) (?) -merkki)

−Muokkaa

Vähennyslaskumerkki, negatiivinen etumerkki, joukkoerotusmerkki

×Muokkaa

Kertomerkki sekä karteesinen tulo -merkki; (engl. cross product)

·Muokkaa

Kertomerkki (pistetulon)

÷ tai /Muokkaa

Jakomerkki sekä murtomerkki

±Muokkaa

Plus-miinusmerkki

√Muokkaa

Neliöjuurimerkki sekä kompleksineliöjuurimerkki

|x|Muokkaa

Itseisarvon merkintä sekä Euklidisen etäisyyden merkintä

a|bMuokkaa

Jaollisuuden merkintä

a!Muokkaa

Kertoman merkintä

TMuokkaa

Transpoosin merkintä.

Lineaarialgebrassa matriisin transpoosi on matriisi, joka saadaan kun alkuperäisen matriisin rivit muutetaan sarakkeiksi ja päinvastoin.

Esimerkiksi:

{\begin{bmatrix}1&2\\3&4\end{bmatrix}}^{\mathrm {T} }\!\!\;\!=\,{\begin{bmatrix}1&3\\2&4\end{bmatrix}}\quad \quad {\mbox{ja}}\quad \quad {\begin{bmatrix}1&2\\3&4\\5&6\end{bmatrix}}^{\mathrm {T} }\!\!\;\!=\,{\begin{bmatrix}1&3&5\\2&4&6\end{bmatrix}}\;

~Muokkaa

Todennäköisyyden jakauman merkintä

¬Muokkaa

Negaatio. Etenkin logiikassa käytetty symboli, joka kuvaa, että jonkin tapahtuma ei tapahdu. Esim. Jos A : "Sataa", niin ¬A : "Ei sada".

≡Muokkaa

Kongruenssin merkintä. Kun a ≡ b (mod n), niin luku a on kongruentti luvun b kanssa modulo n. Luvut a ja b ovat kongruentit modulo n, jos ja vain jos lukujen a ja b erotus, a - b, on jaollinen luvulla n. Esim. 16 ≡ 1 (mod 5), sillä 16 - 1 = 15 ja 15 ÷ 5 = 3.