Matematické symboly a značky

Z testwiki
Verze z 14. 2. 2025, 13:06, kterou vytvořil imported>JAnDbot ({{Commonscat}} za EO 2; kosmetické úpravy)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Skočit na navigaci Skočit na vyhledávání

Matematický symbol je libovolný znak, používaný v matematice. Může to být znaménko pro označení operace s množinami, jejich prvky, čísly či jinými objekty, znak pro množinu, prostor, proměnnou a mnoho dalších matematických objektů.

Termín matematický symbol vznikl překladem z angličtiny a přestože je často používaný, dle jazykových doporučení ÚNMZ Šablona:Poznámka pod čarou a české technické normy ČSN ISO 80000-2 je správné označení matematická značka.Šablona:Poznámka pod čarou

Základní matematické značky

V matematice existují zažité konvence, které značky se užívají pro konkrétní účel. Zde je přehled některých z nich včetně jejich typického užití:

Šablona:Upravit část

Značka
Unicode
\TeX
Název Vysvětlení Příklady
Čte se
Oblast použití
=
003D
=
rovnost x = y znamená, že x a y reprezentují stejnou hodnotu či objekt. Jestliže x = y  a y = 1, pak x = 1 (tranzitivita)
rovná se
všude v matematice
2260
\neq
nerovnost x ≠ y znamená, že x a y nereprezentují stejnou hodnotu či objekt. 1 ≠ 2
nerovná se
všude v matematice
<
003C
>
003E
226A
226B
ostrá nerovnost x < y znamená, že x je menší než y.

x > y znamená, že x je větší než y.

x ≪ y znamená, že x je mnohem menší než y.

x ≫ y znamená, že x je mnohem větší než y.
3 < 4
5 > 4

0,003 ≪ 1 000 000

je menší;
je větší;
je mnohem menší;
je mnohem větší
všude v matematice
2264
2265
neostrá nerovnost x ≤ y znamená, že x je menší nebo rovno y.

x ≥ y znamená, že x je větší nebo rovno y.
3 ≤ 4; 5 ≤ 5
5 ≥ 4; 5 ≥ 5;
pro všechna reálná α platí −1 ≤ sin α ≤ 1
menší nebo roven;
větší nebo roven
všude v matematice
~
223C
221D
úměrnost y ~ x, resp. yx znamená, že existuje taková konstanta k,že

y = kx.

jestliže y = 2x, tak y ~ x
je úměrná
všude v matematice
+
002B
sčítání 4 + 6 značí součet 4 a 6. 2 + 7 = 9
plus
aritmetika, ale i jinde
2212
odčítání 36 − 5 značí rozdíl 36 a 5. 36 − 5 = 31
minus, bez
aritmetika, ale i jinde
opačné číslo −3 značí číslo opačné k číslu 3. −(−3) = 3

36 + (−5) = 36 − 5 = 31

negative; minus
aritmetika, ale i jinde
rozdíl množin A − B značí množinu, která obsahuje všechny prvky množiny A, které nejsou prvky množiny B. {a,b,c} − {a,c,d}  = {b}
bez; minus
teorie množin
×
00D7
násobení 3 × 4 značí součin 3 a 4. 7 × 8 = 56
krát
aritmetika
kartézský součin X×Y značí množinu uspořádaných dvojic (x, y) takových, že x je prvkem X a y je prvkem Y. {1;2} × {3;4} = {(1;3);(1;4);(2;3);(2;4)}
kartézský součin ... a ...
teorie množin
vektorový součin u × v značí vektorový součin vektorů u a v (1; 2; 5) × (3; 4; −1) =
(−22; 16; − 2)
cross
lineární algebra
·
22C5
násobení 3 · 4 značí součin 3 a 4. 7 · 8 = 56
krát
aritmetika
skalární součin u · v značí skalární součin vektorů u a v (1; 2; 5) · (3; 4; −1) = 6
krát
lineární algebra
÷
00F7
002F
2236
dělení 6 ÷ 3, 6 ⁄ 3 nebo 6 ∶ 3 znamená podíl 6 ku 3.
Užívá se též zlomková čára.

Znak ÷ se nedoporučuje užívat, pro poměr nebo dělení je preferován znak 2236 (∶) oproti znaku 003A (:)[1].

2 ÷ 4 = 0,5; nedoporučuje se užívat

12 ⁄ 4 = 3

20 ∶ 5 = 4
168=2
děleno; ku
aritmetika
±
00B1
plus-minus Výraz s ± představuje dvě hodnoty.

6 ± 3 značí jak 6 + 3, tak 6 − 3.

Rovnice x = 5 ± √4 má dvě řešení:
x = 7 a x = 3.
plus-minus
aritmetika, algebra
dříve: nejistota hodnoty dříve 10 ± 2 značilo číslo z intervalu od 10 − 2 do 10 + 2;
nyní totéž píšeme 10(2).
Je-li v ≥ 99,998 m/s a v ≤ 100,008 m/s, pak
dříve se psalo v = 100,003 m/s ± 0,005 m/s,
nyní píšeme v = 100,003(5) m/s.
plus-minus
aproximace; numerické metody
221A
odmocnina xn značí číslo y, pro které yn je x.Šablona:Poznámka pod čarou 4=2
n-tá odmocnina
algebra
|…|
007C...007C
absolutní hodnota | x | značí vzdálenost (na reálné ose, v komplexní rovině) mezi x a počátkem souřadnic. | 3 | = 3

| –5 | = | 5 |

| i | = 1

| 3 + 4 i | = 5
absolutní hodnota
teorie čísel; matematická analýza; lineární algebra
norma vektoru |x| značí normu x. Pro x = (1; 1) je |x| = 2
norma
geometrie; lineární algebra; matematická analýza
determinant |A| značí determinant matice A |1224|=0
determinant matice
lineární algebra
mohutnost |X| značí počet prvků množiny X |{3; 5; 7; 9}| = 4

|{x, y, z}| = 3

kardinalita množiny;
mohutnost množiny
teorie množin
|
2223
dělitelnost a|b znamená, že a dělí b, tedy:

existuje celé číslo c takové, že c = b/a.

Protože 15 = 3×5, tak platí 3|15 a 5|15.
dělí
teorie čísel
podmíněná pravděpodobnost P(A|B) značí pravděpodobnost jevu A za předpokladu, že nastane jev B.
Značíme-li P(X) pravděpodobnost jevu X a P(XY) pravděpodobnost současného výskytu jevů X i Y, pak


P(A,B) = P(B) P(A|B) = P(A) P(A|B).

Jsou-li A, B nezávislé, je P(A|B) = P(A).
Jestliže z B plyne A, pak P(A|B) = 1.
za podmínky
pravděpodobnost
!
0021
faktoriál n! značí součin 1 × 2 × ... × n.

Definitoricky platí 0! = 1.

4! = 1 × 2 × 3 × 4 = 24
faktoriál
kombinatorika
T
hor.ind. 0054
transpozice matice Záměna sloupců matice za řádky a naopak. Aij=(AT)ji
transponováno
lineární algebra
~
223C
řádková ekvivalence A~B znamená, že B může být vytvořena z A konečným počtem elementárních řádkových operací. [1224][1200]
je řádkově ekvivalentní s
lineární algebra
2243
asymptotická rovnost fg značí, že limnf(n)g(n)=1. x+1x
je asymptoticky ekvivalentní
algebra; matematická analýza
2248
aproximace x ≈ y značí, že x je přibližně rovno y. π3,14
dříve se psalo: π3,14 (pomocí znaku ≐)
je přibližně rovno;
je aproximováno
všude v matematice
izomorfismus G ≈ H značí, že grupa G je izomorfní s grupou H. Šablona:Unicode ≈ Šablona:Unicode
je izomorfická
algebra; teorie grup
21D2
implikace AB znamená:

Platí-li výrok A, tak platí i výrok B.
(Jestliže A neplatí, pak se o pravdivosti B nic netvrdí.)

x = 2  ⇒ x2 = 4 je pravdivé, ale
x2 = 4  ⇒ x = 2 není pravdivé (neboť x může být −2).
implikuje; vyplývá; jestliže
matematická logika, ale i jinde
21D4
ekvivalence A ⇔ B značí: A je pravdivé, jestliže B je pravdivé, a zároveň A je nepravdivé, jestliže B je nepravdivé.

Neboli: A je pravdivé právě tehdy, když B je pravdivé.

x + 5 = y +2  ⇔ x + 3 = y
právě tehdy, když
matematická logika, ale i jinde
¬
00AC
negace Výraz ¬A je pravdivý právě tehdy, když A je nepravdivé. ¬(¬A) ⇔ A
x ≠ y  ⇔ ¬(x = y)
ne; negace
matematická logika, ale i jinde
2227
konjunkce Výraz AB je pravdivý právě tehdy, když oba A a B jsou pravdivé. Pro přirozená n platí n < 4  ∧ n > 2  ⇔ n = 3
a
matematická logika, ale i jinde
2228
disjunkce Výraz AB je pravdivý právě tehdy, když alespoň jeden z výrazů A, B je pravdivý.
(Disjunkce je nepravdivá jen tehdy, když oba A, B jsou nepravdivé.)
Pro přirozená n platí n ≥ 4  ∨ n ≤ 2  ⇔ n ≠ 3
nebo
matematická logika, ale i jinde
2200
obecný kvantifikátor ∀ x: P(x) znamená, že P(x) platí pro všechna x. ∀ n ∈ Šablona:Unicode: n2 ≥ n.
pro všechna;
pro každé
predikátová logika, ale i jinde
2203
existenční kvantifikátor ∃ x: P(x) znamená, že existuje alespoň jedno x, pro které P(x) je pravdivé. ∃ n ∈ Šablona:Unicode: n je liché.
existuje;
pro nějaké
predikátová logika, ale i jinde
∃¹
2203,00B9
∃!
2203,0021
kvantifikátor jednoznačné existence ∃! x: P(x) znamená, že existuje právě jedno x, pro které P(x) je pravdivé. ∃! n ∈ Šablona:Unicode: n + 5 = 2n.
existuje právě jedno;
pro právě jedno
predikátová logika, ale i jinde
2245
kongruence; shodnost △ABC Šablona:Unicode △DEF značí, že trojúhelník ABC je shodný (má stejnou velikost odpovídajících stran) s trojúhelníkem DEF.
je shodný s
geometrie
2261
kongruence ab (mod n) značí, že a a b mají stejný zbytek po dělení n, tedy že a − b je dělitelné n.

Existují i jiné třídy kongruence než zbytkové.
5 ≡ 11 (mod 3)
... je kongruentní s ... (modulo ...)
modulární aritmetika, ale i jinde
{ , }
007B, 007D
množinové závorky {a, b, c} označuje množinu o prvcích a, b a c.

Pro čísla užíváme středník, hrozí-li záměna s desetinnou čárkou.

Šablona:Unicode = { 1; 2; 3; …}
množina ...
teorie množin
2205
{ }
007B 007D
prázdná množina Šablona:Unicode značí množinu bez prvků.
{ } značí totéž.
{n ∈ Šablona:Unicode : 1 < n2 < 4} = Šablona:Unicode
prázdná množina
teorie množin
2208
2209
prvek množiny a ∈ S značí, že a je prvkem množiny S
a Šablona:Unicode S značí, že a není prvkem S
(1/2)−1 ∈ Šablona:Unicode

2−1 Šablona:Unicode Šablona:Unicode
je prvkem;
není prvkem
teorie množin
2286
podmnožina A ⊆ B značí, že každý prvek A je též prvkem B. (A ∩ B) ⊆ A
je podmnožinou
teorie množin
2282
vlastní podmnožina A ⊂ B značí, že každý prvek A je též prvkem B a zároveň existuje alespoň jeden prvek B, který není prvkem A.

(Někteří autoři užívají tento znak i pro podmnožinu; místo ⊆.)
Šablona:Unicode ⊂ Šablona:Unicode

Šablona:Unicode ⊂ Šablona:Unicode
je podmnožinou
teorie množin
2287
nadmnožina A ⊇ B značí, že každý prvek B je též prvkem A. (A ∪ B) ⊇ B
je nadmnožinou
teorie množin
2283
vlastní nadmnožina A ⊃ B značí, že každý prvek B je též prvkem A a zároveň existuje alespoň jeden prvek A, který není prvkem B. Šablona:Unicode ⊃ Šablona:Unicode
je nadmnožinou
teorie množin
222A
sjednocení A ∪ B značí množinu, která obsahuje prvky, které jsou alespoň v jedné z množin A a B. A ⊆ B  ⇔ (A ∪ B) = B
sjednocení množin ... a ...
teorie množin
2229
průnik A ∩ B značí množinu, která obsahuje prvky, které jsou množinám A a B společné. {x ∈ Šablona:Unicode : x2 = 1} ∩ Šablona:Unicode = {1}
průnik množiny
... s ...
teorie množin
2216
rozdíl množin A Šablona:Unicode B značí množinu, která obsahuje ty prvky A, které neobsahuje B.

− někdy též označuje rozdíl množin.
{1; 2; 3; 4} Šablona:Unicode {3; 4; 5; 6} = {1; 2}
minus;
rozdíl množin ... a ...
teorie množin
(  )
0028, 0029
{  }
007B, 007D
[  ]
005B, 005D
⟨, ⟩
27E8, 27E9
určení pořadí operací Přednostně se dělá vnitřní operace. (8/4)/2 = 2/2 = 1, ale 8/(4/2) = 8/2 = 4.
V principu stačí jen kulaté závorky.
Ostatní typy mívají speciální použití.
kulaté závorky
složené závorky
hranaté závorky
lomené závorky
všude v matematice
( )
0028, 0029
zápis funkce f(x) značí funkci s jednou proměnnou, a to x.

Takto se značí i zobrazení.
Jestliže f(x) := x2, pak f(3) = 32 = 9.
funkce
všude v matematice
: →
003A 2192
funkce fX → Y značí funkci (či obecně zobrazení) f z množiny X do množiny Y. Mějme fŠablona:Unicode → Šablona:Unicode definováno jako


f(x) := x2.

funkce z ... do ...
všude v matematice
o
2218
skládání funkcí f∘g je funkce taková, že (f ∘ g)(x) = f(g(x)). Když f(x)=2x a když g(x)=x+3, tak

(f∘g)(x)=2(x+3).

složeno s
matematická analýza, teorie množin
2115
N
004E tučné
množina přirozených čísel Šablona:Unicode značí množinu { 1, 2, 3, ...} (existují i jiné definice). Šablona:Unicode = {|a| : a ∈ Šablona:Unicode, a ≠ 0}
N
teorie čísel, matematická analýza
2124
Z
005A tučné
množina celých čísel Šablona:Unicode značí množinu {..., −3, −2, −1, 0, 1, 2, 3, ...}. Šablona:Unicode+ = Šablona:Unicode. Šablona:Unicode = {..., −3, −2, −1}. Šablona:Unicode = {p, –p : p ∈ Šablona:Unicode} ∪ {0}
Z
teorie čísel, matematická analýza
211A
Q
0051 tučné
množina racionálních čísel Šablona:Unicode značí množinu{p/q : p ∈ Šablona:Unicode, q ∈ Šablona:Unicode}. 3,140 00... ∈ Šablona:Unicode

π Šablona:Unicode Šablona:Unicode
Q
teorie čísel, matematická analýza
211D
R
0052 tučné
reálné číslo Šablona:Unicode značí množinu všech reálných čísel. π ∈ Šablona:Unicode

3 + 2 i Šablona:Unicode Šablona:Unicode
R
teorie čísel, matematická analýza
i
00
imaginární jednotka Imaginární jednotka i je kořenem rovnice x2 = –1

V elektrotechnice se značí j. Jak i, tak j se tisknou stojatě, nikoli kurzívou.

i2 = –1; –i2 = –1;

(22+22i)2=i

R
teorie čísel, matematická analýza
2102
C
0043 tučné
komplexní čísla Šablona:Unicode je množina všech {a + b i : a, b ∈ Šablona:Unicode}. i2 = −1 ∈ Šablona:Unicode
C
teorie čísel, matematická analýza
221E
nekonečno ∞ je prvek rozšířené reálné osy, který je větší než libovolné reálné číslo.

(Existují i jiné definice nekonečna pro jiné matematické prostory).
limx01|x|=
nekonečno
matematická analýza
||…||
2016... 2016
norma || x || značí normu prvku vektorového prostoru x. || x + y || ≤ || x || + || y ||

(pro normy indukované skalárním součinem)
norma vektoru;
velikost vektoru
lineární algebra, matematická analýza
2211
součet řady

k=1nak značí a1 + a2 + … + an.

k=14k2 = 12 + 22 + 32 + 42 

= 1 + 4 + 9 + 16 = 30
součet přes ... od ... do ...
všude v matematice
220F
součin řady

k=1nak značí a1a2···an.

k=14(k+2) = (1+2)(2+2)(3+2)(4+2)

= 3 × 4 × 5 × 6 = 360
součin přes ... od ... do ..
všude v matematice
2032
derivace f ′(x) je derivace funkce f podle proměnné x

Tečka většinou značí úplnou derivaci podle času, tedy např. f˙=f˙(x(t),t)=dfdt=fxdxdt+ft.

Jestliže f(x) := x2, pak f ′(x) = 2x
derivace
matematická analýza
222B
integrál ∫ f(x) dx značí funkci, jejíž derivace je f. x2 dx = x3/3 + C
integrál funkce ...
matematická analýza
2207
gradient f(x1,,xn) je vektor parciálních derivací (fx1,,fxn). Jestliže f(x,y,z)=3xy+z2, pak f=(3y,3x,2z)
nabla, gradient funkce
matematická analýza, tenzorový počet
divergence v=vxx+vyy+vzz Jestliže v:=3xy𝐢+y2z𝐣+5𝐤, pak v=3y+2yz.
divergence funkce
matematická analýza, tenzorový počet
rotace ×v=(vzyvyz)𝐢
+(vxzvzx)𝐣+(vyxvxy)𝐤
Jestliže v:=3xy𝐢+y2z𝐣+5𝐤, pak ×v=y2𝐢3x𝐤.
rotace funkce
matematická analýza, tenzorový počet
2202
parciální derivace Pro f (x1, …, xn) je ∂f/∂xi derivací f podle xi; ostatní proměnné jsou brány za konstanty. Jestliže f(x,y) := x2y, pak ∂f/∂x = 2xy
parciální derivace ... podle ...
matematická analýza, ale i jinde
hranice množiny M značí hranici množiny M ∂{x : ||x|| ≤ 2} = {x : ||x|| = 2}
hranice
topologie, teorie množin, matematická analýza
δ
03B4
Diracova funkce delta δ(x)={,x=00,x0;
Distribuce, tedy zobecněná funkce:

f(x)δ(yx)dx=f(y)

∫cos x δ(x–a) dx = cos a
Diracova funkce delta v x
matematická analýza
Kroneckerovo delta δij={1,i=j0,ij δij
Kroneckerovo delta
lineární algebra, matematická analýza, ale i jinde
(první) variace funkcionálu (první) variace funkcionálu J(y):
δJ(y)(h)=limε0J(y+εh)J(y)ε=ddεJ(y+εh)|ε=0
Jestliže J(y)=abyydx, pak
δJ(y)(h)=ddεJ(y+εh)|ε=0=ddεab(y+εh)(y+εh) dx|ε=0=ab(yh+yh) dx
(první) variace
matematická analýza (variační počet)
27C2
ortogonalita x ⊥ y znamená, že x je kolmé na y; nebo mnohem obecněji x je ortogonální na y. Jestliže k ⊥ m a m ⊥ n, tak k || n.
je kolmý,
je ortogonální
geometrie, lineární algebra, matematická analýza
||
2225
rovnoběžnost x || y značí, že x je rovnoběžné y. Jestliže k || m a m ⊥ n, tak k ⊥ n.
je rovnoběžné s
geometrie
2297
tenzorový součin VU značí tenzorový součin V a U. {1, 2, 3, 4} Šablona:Unicode {1, 1, 2} =
{{1, 2, 3, 4}, {1, 2, 3, 4}, {2, 4, 6, 8}}
tenzorový součin ... a ...
lineární algebra, tenzorový počet
*
2217
konvoluce f * g značí konvoluci funkcí f a g. (f*g)(t)=f(τ)g(tτ)dτ
konvoluce ... a ...
funkcionální analýza
𝑧̅
průměr x¯ značí aritmetický průměr z hodnot xi). x={1,2,3,4,5};x¯=3.
průměr
statistika
perioda Označuje nějakou číslici nebo n-tici číslic, které se v zápise čísla stále opakují 2,3¯=2,33333
... periodických
aritmetika
uzávěr množiny Množina všech bodů, jejichž libovolné okolí má neprázdný průnik s danou množinou.
M={xX:U(x)U(x)M}

(Používá se i pro zúplnění metrického prostoru.)

uzávěr množiny
topologie a teorie množin, ale i jinde
𝑧*
002A hor. ind.
konjugace z=z je komplexně sdružené číslo k z. 3+4i=(3+4i)=34i
konjungováno
komplexní analýza
⟨, ⟩
27E8, 27E9
[, ]
005B, 005D
uzavřený interval[2] a,b={x|axb} je interval čísel počínaje a včetně až po b včetně 2,3
[2,3]
algebra, matematická analýza, analytická geometrie
(, )
0028, 0029
], [
005D, 005B
otevřený interval[3] (a,b)={x|a<x<b} je interval čísel počínaje od a (kromě a) až po b (kromě b) (2,3)
]1,[
algebra, matematická analýza, analytická geometrie
(, ⟩
0028, 27E9
(, ]
0028, 005D
], ]
005D, 005D
zleva polootevřený interval[4] (a,b={x|a<xb} je zleva otevřený, zprava uzavřený interval čísel počínaje od a (kromě a) až po b včetně (2,3
(,1]
],1]
algebra, matematická analýza, analytická geometrie
⟨, )
27E8, 0029
[, )
005B, 0029
[, [
005B, 005B
zprava polootevřený interval[5] a,b)={x|ax<b} je zleva uzavřený, zprava otevřený interval čísel počínaje od a (včetně a) až po b (kromě b) 2,3)
[1,)
[1,[
algebra, matematická analýza, analytická geometrie

Odkazy

Poznámky

Šablona:Poznámky

Reference

Šablona:Překlad

  1. The Unicode Standard, Version 13.0
  2. druhý zápis dle ČSN ISO 80000-2:2012, pol. 2-6.7, tzv. anglický resp. francouzský zápis
  3. druhý zápis dle ČSN ISO 80000-2:2012, pol. 2-6.10, tzv. francouzský zápis
  4. druhý resp. třetí zápis dle ČSN ISO 80000-2:2012, pol. 2-6.8, tzv. anglický resp. francouzský zápis
  5. druhý resp. třetí zápis dle ČSN ISO 80000-2:2012, pol. 2-6.9, tzv. anglický resp. francouzský zápis

Literatura

  • ČSN ISO 80000-2:2012
  • ISO 80000-2:2009
  • The Unicode Standard, Version 6.3

Související články

Externí odkazy

Šablona:Portály