Některé matematické symboly
Tento seznam matematických symbolů ukazuje výběr nejběžnějších symbolů používaných v moderní matematické notaci ve vzorcích . Protože je prakticky nemožné vyjmenovat všechny symboly, které kdy byly v matematice použity, jsou v tomto seznamu uvedeny pouze ty symboly, které se často vyskytují ve třídě matematiky nebo v matematických studiích . Mnoho symbolů je standardizováno , například v DIN 1302 Obecné matematické symboly nebo velikosti a jednotky podle DIN EN ISO 80000-2 - Část 2: Matematické symboly pro vědu a techniku .
Následující seznam je do značné míry omezen na nealfanumerické znaky . Je rozdělena na podoblasti matematiky a seskupena podle obsahu v rámci podoblastí. Některé symboly mají různý význam v závislosti na kontextu, a proto se v seznamu objevují několikrát. Další informace o symbolech a jejich významu najdete v odkazovaných článcích.
Vysvětlení
U každého matematického symbolu jsou uvedeny následující informace:
symbol
Symbol reprezentovaný LaTeXem . Pokud existuje několik typografických variant, zobrazí se pouze jedna z variant.
použití
Příkladné použití symbolu ve vzorci. Písmena se používají jako zástupné symboly pro čísla , proměnné nebo složitější výrazy . Různá použití jsou uvedena samostatně.
výklad
Stručný textový popis významu vzorce v předchozím sloupci.
položky
Článek Wikipedie, který pokrývá význam ( sémantiku ) symbolu.
Latex
Příkaz LaTeX použitý k vytvoření symbolu. Znaky ze znakové sady ASCII lze až na několik výjimek ( dvojité křížení , zpětné lomítko , složená závorka , procentní znak použít přímo). Horní a dolní indexy se vytvářejí pomocí znaků ^
a _
nejsou výslovně specifikovány.
HTML
Symbol v HTML , pokud je definován jako pojmenovaný znak . Nejmenované znaky lze reprezentovat zadáním bodu kódu Unicode v následujícím sloupci &#xnnnn;
, kde nnnn
hexadecimální je Unicode. Horní a dolní indexy jsou vytvářeny pomocí <sup></sup>
a <sub></sub>
.
Unicode
Bod kódu odpovídajícího znaku Unicode . Některé znaky se kombinují a vyžadují zadání dalších znaků. V případě závorek jsou určeny body kódu otevírací a uzavírací závorky.
Teorie množin
Kvantová konstrukce
symbol
použití
výklad
položky
Latex
HTML
Unicode
∅ {\ displaystyle \ varnothing}
{ } {\ displaystyle \ {\ \}}
prázdná sada
Prázdná sada
\varnothing
,\emptyset
∅
U+2205
{ } {\ displaystyle \ {~ \}}
{ A , b , ... } {\ displaystyle \ {a, b, \ ldots \}}
Set se skládá z prvků , a tak dále
A {\ displaystyle a} b {\ displaystyle b}
Sada (matematika) , třída (teorie množin)
\{ \}
U+007B/D
∣ {\ displaystyle \ mid}
{ A ∣ T ( A ) } {\ displaystyle \ {a \ mid T (a) \}}
Sada nebo třída prvků, které splňují
podmínkuA {\ displaystyle a} T ( A ) {\ displaystyle T (a)}
\mid
U+007C
: {\ displaystyle \ colon}
{ A : T ( A ) } {\ displaystyle \ {a: T (a) \}}
:
U+003A
Nastavit operace
symbol
použití
výklad
položky
Latex
HTML
Unicode
∪ {\ displaystyle \ cup}
A. ∪ B. {\ Displaystyle A \ cup B}
Spojení sad aA. {\ displaystyle A} B. {\ displaystyle B}
Unie sada
\cup
∪
U+222A
∩ {\ displaystyle \ cap}
A. ∩ B. {\ displaystyle A \ cap B}
Průměr z množství aA. {\ displaystyle A} B. {\ displaystyle B}
Průsečík
\cap
∩
U+2229
∖ {\ displaystyle \ setminus}
A. ∖ B. {\ Displaystyle A \ setminus B}
Rozdíl v množství aA. {\ displaystyle A} B. {\ displaystyle B}
Rozdílná částka
\setminus
U+2216
△ {\ displaystyle \ triangle}
A. △ B. {\ Displaystyle A \, \ triangle \, B}
symetrický rozdíl veličin aA. {\ displaystyle A} B. {\ displaystyle B}
Symetrický rozdíl
\triangle
△
U+25B3
× {\ displaystyle \ times}
A. × B. {\ displaystyle A \ times B}
Karteziánský součin sad aA. {\ displaystyle A} B. {\ displaystyle B}
kartézský součin
\times
×
U+2A2F
∪ ˙ {\ displaystyle {\ dot {\ cup}}}
A. ∪ ˙ B. {\ Displaystyle A \, {\ dot {\ cup}} \, B}
Spojení disjunktních sad aA. {\ displaystyle A} B. {\ displaystyle B}
Nespojitý svaz
\dot\cup
U+228D
⊔ {\ Displaystyle \ sqcup}
A. ⊔ B. {\ Displaystyle A \ sqcup B}
Nespojité spojení sad aA. {\ displaystyle A} B. {\ displaystyle B}
\sqcup
U+2294
C. {\ displaystyle {} ^ {\ mathrm {C}}}
A. C. {\ displaystyle A ^ {\ mathrm {C}}}
Doplněk davu A. {\ displaystyle A}
Doplněk (teorie množin)
\mathrm{C}
U+2201
¯ {\ displaystyle {\ overline {~~}}}
A. ¯ {\ displaystyle {\ overline {A}}}
\bar
U+0305
P. {\ displaystyle {\ mathcal {P}}}
P. ( A. ) {\ displaystyle {\ mathcal {P}} (A)}
Power set of set A. {\ displaystyle A}
Power set
\mathcal{P}
U+1D4AB
P. {\ displaystyle {\ mathfrak {P}}}
P. ( A. ) {\ displaystyle {\ mathfrak {P}} (A)}
\mathfrak{P}
U+1D513
Kvantové vztahy
symbol
použití
výklad
položky
Latex
HTML
Unicode
⊂ {\ displaystyle \ subset}
A. ⊂ B. {\ displaystyle A \ podmnožina B}
A. {\ displaystyle A} je skutečnou podmnožinou B. {\ displaystyle B}
Podmnožina
\subset
⊂
U+2282
⊊ {\ displaystyle \ subsetneq}
A. ⊊ B. {\ displaystyle A \ subsetneq B}
\subsetneq
U+228A
⊆ {\ displaystyle \ subseteq}
A. ⊆ B. {\ displaystyle A \ subseteq B}
A. {\ displaystyle A} je podmnožinou B. {\ displaystyle B}
\subseteq
⊆
U+2286
⊃ {\ displaystyle \ supset}
A. ⊃ B. {\ displaystyle A \ supset B}
A. {\ displaystyle A} je správná nadmnožina B. {\ displaystyle B}
Nadmnožina
\supset
⊃
U+2283
⊋ {\ displaystyle \ supsetneq}
A. ⊋ B. {\ displaystyle A \ supsetneq B}
\supsetneq
U+228B
⊇ {\ displaystyle \ supseteq}
A. ⊇ B. {\ displaystyle A \ supseteq B}
A. {\ displaystyle A} je nadmnožinou B. {\ displaystyle B}
\supseteq
⊇
U+2287
∈ {\ displaystyle \ in}
A ∈ A. {\ displaystyle a \ v A}
prvek je v sadě obsahovat
A {\ displaystyle a} A. {\ displaystyle A}
Element (matematika)
\in
∈
U+2208
∋ {\ displaystyle \ ni}
A. ∋ A {\ Displaystyle A \ ni a}
\ni
, \owns
∋
U+220B
∉ {\ displaystyle \ notin}
A ∉ A. {\ displaystyle a \ notin A}
prvek není v sadě obsahovat
A {\ displaystyle a} A. {\ displaystyle A}
\notin
∉
U+2209
∌ {\ Displaystyle \ not \ ni}
A. ∌ A {\ Displaystyle A \ not \ ni a}
\not\ni
U+220C
Poznámka : Symboly a nejsou používány jednotně a často nevylučují rovnost obou množin.
⊂ {\ displaystyle \ subset} ⊃ {\ displaystyle \ supset}
Sady čísel
symbol
použití
výklad
položky
Latex
HTML
Unicode
P. {\ displaystyle \ mathbb {P}}
prvočísla
prvočíslo
\mathbb{P}
ℙ
U+2119
N. {\ displaystyle \ mathbb {N}}
přirozená čísla
Přirozené číslo
\mathbb{N}
ℕ
U+2115
Z {\ displaystyle \ mathbb {Z}}
celá čísla
Celé číslo
\mathbb{Z}
ℤ
U+2124
F. {\ displaystyle \ mathbb {F}}
konečné pole s charakteristikou prvočísla
Konečné tělo
\mathbb{F}
𝔽
U+1D53D
Otázka {\ displaystyle \ mathbb {Q}}
racionální čísla
Racionální číslo
\mathbb{Q}
ℚ
U+211A
I. {\ displaystyle \ mathbb {I}}
iracionální čísla
(Skutečné) iracionální číslo
\mathbb{I}
𝕀
U+1D540
A. {\ displaystyle \ mathbb {A}}
algebraická čísla
(Komplexní) algebraické číslo
\mathbb{A}
𝔸
U+1D538
T {\ displaystyle \ mathbb {T}}
transcendentní čísla
Skutečné transcendentní číslo
\mathbb{T}
𝕋
U+1D54B
R. {\ displaystyle \ mathbb {R}}
reálná čísla
Reálné číslo
\mathbb{R}
ℝ
U+211D
∗ R. {\ displaystyle {} ^ {*} \ mathbb {R}}
hyperreálná čísla
Hyper skutečné číslo
{}^*\mathbb{R}
* ℝ
U+211D
C. {\ displaystyle \ mathbb {C}}
komplexní čísla
Komplexní číslo
\mathbb{C}
ℂ
U+2102
H {\ displaystyle \ mathbb {H}}
Kvaterniony
Čtveřice
\mathbb{H}
ℍ
U+210D
Ó {\ displaystyle \ mathbb {O}}
Octonions
Octonion
\mathbb{O}
U+1D546
S. {\ displaystyle \ mathbb {S}}
Sedenions
Sedenion
\mathbb{S}
U+1D54A
K {\ displaystyle \ mathbb {K}}
Funkční analýza
K ∈ { R. , C. } {\ Displaystyle \ mathbb {K} \ in \ {\ mathbb {R}, \ mathbb {C} \}}
Algebry
\mathbb{K}
𝕂
U+1D542
Pravomoci
symbol
použití
výklad
položky
Latex
HTML
Unicode
| | {\ displaystyle | ~~ |}
| A. | {\ displaystyle | A |}
Mohutnost sady A. {\ displaystyle A}
Moc (matematika)
\vert
U+007C
# {\ displaystyle \ #}
# A. {\ displaystyle \ #A}
\#
U+0023
C {\ displaystyle {\ mathfrak {c}}}
Tloušťka kontinua
Continuum (matematika)
\mathfrak{c}
U+1D520
ℵ {\ Displaystyle \ aleph}
ℵ 0 {\ displaystyle \ aleph _ {0}} , ...
ℵ 1 {\ displaystyle \ aleph _ {1}}
Kardinální čísla
Kardinální číslo (matematika)
\aleph
U+2135
ℶ {\ displaystyle \ beth}
ℶ 0 {\ displaystyle \ beth _ {0}} , ...
ℶ 1 {\ displaystyle \ beth _ {1}}
Čísla Beth
Beth funkce
\beth
U+2136
aritmetický
Aritmetický symbol
symbol
použití
výklad
položky
Latex
HTML
Unicode
+ {\ displaystyle +}
A + b {\ displaystyle a + b}
A {\ displaystyle a} a jsou přidány
b {\ displaystyle b}
přidání
+
U+002B
- {\ displaystyle -}
A - b {\ displaystyle od}
b {\ displaystyle b} je odečteno od
A {\ displaystyle a}
odčítání
-
−
U+2212
⁒
A {\ displaystyle a} ⁒ b {\ displaystyle b}
\textdiscount,\slashdiv,⁒
⁒
U+2052
⋅ {\ displaystyle \ cdot}
A ⋅ b {\ Displaystyle a \ cdot b}
A {\ displaystyle a} a jsou znásobeny
b {\ displaystyle b}
násobení
\cdot
·
U+22C5
× {\ displaystyle \ times}
A × b {\ displaystyle a \ times b}
\times
×
U+2A2F
: {\ displaystyle:}
A : b {\ displaystyle a: b}
A {\ displaystyle a} je děleno
b {\ displaystyle b}
Divize (matematika)
:
U+003A
/ {\ displaystyle /}
A / b {\ displaystyle a / b}
/
⁄
U+2215
÷ {\ displaystyle \ div}
A ÷ b {\ displaystyle a \ div b}
\div
÷
U+00F7
{\ displaystyle {\ frac {~~} {~~}}}
A b {\ displaystyle {\ tfrac {a} {b}}}
\frac
U+2044
- {\ displaystyle -}
- A {\ displaystyle -a}
záporné číslo nebo aditivní inverzní hodnotaA {\ displaystyle a} A {\ displaystyle a}
Unární mínus
-
−
U+2212
± {\ Displaystyle \ pm}
± A {\ Displaystyle \ pm a}
plus mínus A {\ displaystyle a}
Znaménko plus mínus
\pm
±
U+00B1
∓ {\ Displaystyle \ mp}
∓ A {\ displaystyle \ mp a}
mínus nebo plus A {\ displaystyle a}
\mp
U+2213
( ) {\ displaystyle (~)}
( A ) {\ displaystyle (a)}
termín je vyhodnocen jako první
A {\ displaystyle a}
Konzola (znak)
( )
U+0028/9
[ ] {\ displaystyle [~]}
[ A ] {\ displaystyle [a]}
[ ]
U+005B/D
Znamení rovnosti
symbol
použití
výklad
položky
Latex
HTML
Unicode
= {\ displaystyle =}
A = b {\ displaystyle a = b}
A {\ displaystyle a} je rovný b {\ displaystyle b}
rovnice
=
U+003D
≠ {\ Displaystyle \ neq}
A ≠ b {\ Displaystyle a \ neq b}
A {\ displaystyle a} To není to samé b {\ displaystyle b}
Nerovnost
\neq
≠
U+2260
≡ {\ displaystyle \ equiv}
A ≡ b {\ Displaystyle a \ equiv b}
A {\ displaystyle a} je identický s b {\ displaystyle b}
Rovnice identity
\equiv
≡
U+2261
≈ {\ Displaystyle \ cca}
A ≈ b {\ displaystyle a \ prib b}
A {\ displaystyle a} je přibližně stejný b {\ displaystyle b}
Zaokrouhlování
\approx
≈
U+2248
∼ {\ displaystyle \ sim}
A ∼ b {\ displaystyle a \ sim b}
A {\ displaystyle a} je úměrné b {\ displaystyle b}
Proporcionalita
\sim
∼
U+223C
∝ {\ displaystyle \ propto}
A ∝ b {\ displaystyle a \ propto b}
\propto
∝
U+221D
= ^ {\ displaystyle {\ widehat {=}}}
A = ^ b {\ displaystyle a \, {\ widehat {=}} \, b}
A {\ displaystyle a} je ekvivalentní b {\ displaystyle b}
Znamení zápasů
\widehat{=}
U+2259
∼ {\ displaystyle \ sim}
A ∼ b {\ displaystyle a \ sim b}
A {\ displaystyle a} je stejně ceněn jako b {\ displaystyle b}
Vztah preference
\sim
-
≃ {\ displaystyle \ simeq}
A ≃ b {\ Displaystyle a \ simeq b}
A {\ displaystyle a} je asymptoticky stejná b {\ displaystyle b}
\simeq
≃
U+2243
Srovnávací znamení
symbol
použití
výklad
položky
Latex
HTML
Unicode
< {\ displaystyle <}
A < b {\ displaystyle a <b}
A {\ displaystyle a} je menší než b {\ displaystyle b}
Porovnání (čísla)
<
<
U+003C
> {\ displaystyle>}
A > b {\ displaystyle a> b}
A {\ displaystyle a} je větší než b {\ displaystyle b}
>
>
U+003E
≤ {\ displaystyle \ leq}
A ≤ b {\ Displaystyle a \ leq b}
A {\ displaystyle a} je menší nebo rovenb {\ displaystyle b} b {\ displaystyle b}
\le
, \leq
≤
U+2264
≦ {\ displaystyle \ leqq}
A ≦ b {\ Displaystyle a \ leqq b}
\leqq
U+2266
≥ {\ displaystyle \ geq}
A ≥ b {\ Displaystyle a \ geq b}
A {\ displaystyle a} je větší nebo rovnob {\ displaystyle b} b {\ displaystyle b}
\ge
, \geq
≥
U+2265
≧ {\ Displaystyle \ geqq}
A ≧ b {\ Displaystyle a \ geqq b}
\geqq
U+2267
≪ {\ displaystyle \ ll}
A ≪ b {\ Displaystyle a \ ll b}
A {\ displaystyle a} je mnohem menší než b {\ displaystyle b}
\ll
U+226A
≫ {\ Displaystyle \ gg}
A ≫ b {\ Displaystyle a \ gg b}
A {\ displaystyle a} je mnohem větší než b {\ displaystyle b}
\gg
U+226B
⋘ {\ displaystyle \ lll}
A ⋘ b {\ displaystyle a \ lll b}
A {\ displaystyle a} je mnohem menší než b {\ displaystyle b}
\lll
U+22D8
⋙ {\ displaystyle \ ggg}
A ⋙ b {\ displaystyle a \ ggg b}
A {\ displaystyle a} je mnohem větší než b {\ displaystyle b}
\ggg
U+22D9
≶ {\ displaystyle \ lessgtr}
A ≶ b {\ displaystyle a \ lessgtr b}
A {\ displaystyle a} je menší než nebo větší než b {\ displaystyle b}
\lessgtr
U+2276
≷ {\ displaystyle \ gtrless}
A ≷ b {\ displaystyle a \ gtrless b}
A {\ displaystyle a} je větší nebo menší než b {\ displaystyle b}
\gtrless
U+2277
≺ {\ displaystyle \ prec}
A ≺ b {\ Displaystyle a \ prec b}
b {\ displaystyle b} je přísně upřednostňováno
A {\ displaystyle a}
Vztah preference
\prec
U+227A
≻ {\ displaystyle \ succ}
A ≻ b {\ Displaystyle a \ succ b}
A {\ displaystyle a} je přísně upřednostňováno
b {\ displaystyle b}
\succ
U+227B
≼ {\ Displaystyle \ preccurlyeq}
A ≼ b {\ Displaystyle a \ preccurlyeq b}
b {\ displaystyle b} je upřednostňován před slabým nebo je přinejmenším stejně dobrý jakoA {\ displaystyle a} b {\ displaystyle b} A {\ displaystyle a}
\preccurlyeq
U+227C
≽ {\ displaystyle \ succcurlyeq}
A ≽ b {\ Displaystyle a \ succcurlyeq b}
A {\ displaystyle a} je upřednostňován před slabým nebo je přinejmenším stejně dobrý jakob {\ displaystyle b} A {\ displaystyle a} b {\ displaystyle b}
\succcurlyeq
U+227D
Dělitelnost
symbol
použití
výklad
položky
Latex
HTML
Unicode
∣ {\ displaystyle \ mid}
A ∣ b {\ displaystyle a \ mid b}
A {\ displaystyle a} Rozkoly b {\ displaystyle b}
Dělitelnost
\mid
U+2223
∥ {\ displaystyle \ paralelní}
A ∥ b {\ displaystyle a \ paralelní b}
A {\ displaystyle a} přesně
rozdělujeb {\ displaystyle b}
\parallel
U+2225
∤ {\ Displaystyle \ nmid}
A ∤ b {\ Displaystyle a \ nmid b}
A {\ displaystyle a} nemá ani
sdíletb {\ displaystyle b}
\nmid
U+2224
⊥ {\ displaystyle \ perp}
A ⊥ b {\ displaystyle a \ perp b}
A {\ displaystyle a} a jsou coprime
b {\ displaystyle b}
Coprime
\perp
⊥
U+22A5
⊓ {\ Displaystyle \ sqcap}
A ⊓ b {\ Displaystyle a \ sqcap b}
největší společný faktor aA {\ displaystyle a} b {\ displaystyle b}
Největší společný dělitel
\sqcap
U+2293
∧ {\ displaystyle \ wedge}
A ∧ b {\ Displaystyle a \ klín b}
\wedge
∧
U+2227
⊔ {\ Displaystyle \ sqcup}
A ⊔ b {\ Displaystyle a \ sqcup b}
nejméně společný násobek aA {\ displaystyle a} b {\ displaystyle b}
Nejmenší společný násobek
\sqcup
U+2294
∨ {\ displaystyle \ vee}
A ∨ b {\ Displaystyle a \ vee b}
\vee
∨
U+2228
≡ {\ displaystyle \ equiv}
A ≡ b mod m {\ Displaystyle a \ equiv b {\ bmod {m}}}
A {\ displaystyle a} a jsou shodné modulob {\ displaystyle b} m {\ displaystyle m}
Shoda (teorie čísel)
\equiv
≡
U+2261
Intervaly
symbol
použití
výklad
položky
Latex
HTML
Unicode
[ ] {\ displaystyle [~~]}
[ A , b ] {\ displaystyle [a, b]}
dokončený interval mezi aA {\ displaystyle a} b {\ displaystyle b}
časový úsek
( )
[ ]
U+0028/9
U+005B/D
] [ {\ displaystyle] ~~ [}
] A , b [ {\ displaystyle] a, b [}
otevřený interval mezi aA {\ displaystyle a} b {\ displaystyle b}
( ) {\ displaystyle (~~)}
( A , b ) {\ displaystyle (a, b)}
[ [ {\ Displaystyle [~~ [}
[ A , b [ {\ displaystyle [a, b [}
pravý pootevřený interval mezi aA {\ displaystyle a} b {\ displaystyle b}
[ ) {\ displaystyle [~~)}
[ A , b ) {\ displaystyle [a, b)}
] ] {\ displaystyle] ~~]}
] A , b ] {\ displaystyle] a, b]}
vlevo pootevřený interval mezi aA {\ displaystyle a} b {\ displaystyle b}
( ] {\ displaystyle (~~]}
( A , b ] {\ displaystyle (a, b]}
Elementární funkce
symbol
použití
výklad
položky
Latex
HTML
Unicode
| | {\ displaystyle | ~~ |}
| X | {\ displaystyle | x |}
množství X {\ displaystyle x}
Funkce množství
\vert
U+007C
[ ] {\ Displaystyle \ left [~~ \ right]}
[ X ] {\ displaystyle \ left [x \ right]}
největší celé číslo menší nebo rovné X {\ displaystyle x}
Gaussova závorka
[ ]
U+005B/D
⌊ ⌋ {\ Displaystyle \ lfloor ~~ \ rfloor}
⌊ X ⌋ {\ Displaystyle \ lfloor x \ rfloor}
\lfloor \rfloor
⌊
⌋
U+230A/B
⌈ ⌉ {\ Displaystyle \ lceil ~~ \ rceil}
⌈ X ⌉ {\ Displaystyle \ lceil x \ rceil}
nejmenší celé číslo větší nebo rovno X {\ displaystyle x}
\lceil \rceil
⌈
⌉
U+2308/9
{\ displaystyle {\ sqrt {\,}}}
X {\ displaystyle {\ sqrt {x}}}
čtvereček z X {\ displaystyle x}
Kořen (matematika)
\sqrt
√
U+221A
X n {\ displaystyle {\ sqrt [{n}] {x}}}
n {\ displaystyle n} -tý kořen X {\ displaystyle x}
% {\ displaystyle \%}
p % {\ displaystyle p \, \%}
p {\ displaystyle p} procento
procento
\%
U+0025
Poznámka : výkon funkce není zastoupen vlastním symbolem, ale superscripting na exponent .
Složitá čísla
symbol
použití
výklad
položky
Latex
HTML
Unicode
ℜ {\ displaystyle \ Re}
ℜ ( z ) {\ displaystyle \ Re (z)}
Skutečná část komplexního čísla z {\ Displaystyle z}
Komplexní číslo
\Re
U+211C
ℑ {\ displaystyle \ Im}
ℑ ( z ) {\ displaystyle \ Im (z)}
Imaginární část komplexního čísla z {\ Displaystyle z}
\Im
U+2111
¯ {\ displaystyle {\ bar {~}}}
z ¯ {\ displaystyle {\ bar {z}}}
Konjuguje komplexní číslo z {\ Displaystyle z}
Konjugace (matematika)
\bar
U+0305
∗ {\ displaystyle {} ^ {\ ast}}
z ∗ {\ displaystyle z ^ {\ ast}}
\ast
∗
U+002A
| | {\ displaystyle | ~~ |}
| z | {\ displaystyle | z |}
Částka komplexního čísla z {\ Displaystyle z}
Funkce množství
\vert
U+007C
Poznámka: pro označení skutečné a imaginární části komplexního čísla jsou zkratky a zvláště běžné.
re {\ displaystyle \ operatorname {Re}} v {\ displaystyle \ operatorname {Im}}
Matematické konstanty
symbol
použití
výklad
položky
Latex
HTML
Unicode
π {\ displaystyle \ pi}
Číslo kruhu
Číslo kruhu
\pi
π
U+03C0
E {\ displaystyle \ mathrm {e}}
Eulerovo číslo
Eulerovo číslo
\mathrm{e}
U+0065
Φ {\ displaystyle \ Phi}
Zlatý řez
Zlatý řez
\Phi
Φ
U+03A6
já {\ displaystyle \ mathrm {i}}
imaginární jednotka
Imaginární číslo
\mathrm{i}
U+0069
Viz také: matematická konstanta pro symboly jiných matematických konstant.
Analýza
Sekvence a hodnosti
symbol
použití
výklad
položky
Latex
HTML
Unicode
∑ {\ displaystyle \ sum}
∑ já = 1 n , ∑ já ∈ I. {\ displaystyle \ sum _ {i = 1} ^ {n}, \ sum _ {i \ in I}}
Součet se ani přes všechny v sadějá = 1 {\ displaystyle i = 1} n {\ displaystyle n} já {\ displaystyle i} I. {\ displaystyle I}
celkový
\sum
∑
U+2211
∏ {\ displaystyle \ prod}
∏ já = 1 n , ∏ já ∈ I. {\ Displaystyle \ prod _ {i = 1} ^ {n}, \ prod _ {i \ in I}}
Produkt až do výše nebo nad částku v množstvíjá = 1 {\ displaystyle i = 1} n {\ displaystyle n} já {\ displaystyle i} I. {\ displaystyle I}
Produkt (matematika)
\prod
∏
U+220F
∐ {\ displaystyle \ coprod}
∐ já = 1 n , ∐ já ∈ I. {\ displaystyle \ coprod _ {i = 1} ^ {n}, \ coprod _ {i \ in I}}
Koprodukt až ze sady nebo nad níjá = 1 {\ displaystyle i = 1} n {\ displaystyle n} já {\ displaystyle i} I. {\ displaystyle I}
Koprodukt
\coprod
U+2210
( ) {\ displaystyle (~~)}
( A n ) n {\ displaystyle (a_ {n}) _ {n}}
Následujte členy sekvence A 1 , A 2 , ... {\ displaystyle a_ {1}, a_ {2}, \ ldots}
Epizoda (matematika)
( )
U+0028/9
→ {\ displaystyle \ to}
A n → A {\ displaystyle a_ {n} \ to a}
posloupnost konverguje k mezní hodnotě( A n ) {\ displaystyle (a_ {n})} A {\ displaystyle a}
Mezní hodnota (sekvence)
\to
→
U+2192
∞ {\ displaystyle \ infty}
n → ∞ {\ displaystyle n \ to \ infty}
n {\ displaystyle n} usiluje o nekonečno
nekonečno
\infty
∞
U+221E
Funkce
symbol
použití
výklad
položky
Latex
HTML
Unicode
→ {\ displaystyle \ to}
F : A. → B. {\ Displaystyle f \ colon A \ to B}
funkce je částka ve výši od
F {\ displaystyle f} A. {\ displaystyle A} B. {\ displaystyle B}
Funkce (matematika)
\to
→
U+2192
A. → F B. {\ displaystyle A \, {\ stackrel {f} {\ to}} \, B}
↦ {\ displaystyle \ mapsto}
F : X ↦ y {\ Displaystyle f \ colon x \ mapsto y}
funkce formování prvku k prvku z
F {\ displaystyle f} X {\ displaystyle x} y {\ displaystyle y}
\mapsto
↦
U+21A6
X ↦ F y {\ Displaystyle x \, {\ stackrel {f} {\ mapsto}} \, y}
( ) {\ displaystyle (~~)}
F ( X ) {\ displaystyle f (x)}
Funkční hodnota prvkuF {\ displaystyle f} X {\ displaystyle x}
Obrázek (matematika)
( )
U+0028/9
F ( X ) {\ displaystyle f (X)}
Obrázek davu pod funkcíX {\ displaystyle X} F {\ displaystyle f}
[ ] {\ displaystyle [~~]}
F [ X ] {\ Displaystyle f [X]}
[ ]
U+005B/D
| {\ displaystyle \ vert}
F | X {\ displaystyle f \ vert _ {X}}
Omezení funkce na množstvíF {\ displaystyle f} X {\ displaystyle X}
Omezení
\vert
U+007C
⋅ {\ displaystyle \ cdot}
F ( ⋅ ) {\ Displaystyle f (\ cdot)}
Zástupný symbol pro proměnnou jako argument funkce F {\ displaystyle f}
Proměnná (matematika)
\cdot
·
U+22C5
- 1 {\ displaystyle {} ^ {- 1}}
F - 1 {\ displaystyle f ^ {- 1}}
Inverzní funkce k F {\ displaystyle f}
Inverzní funkce
-1
U+207B
F - 1 ( Y ) {\ displaystyle f ^ {- 1} (Y)}
Archetyp davu pod funkcíY {\ displaystyle Y} F {\ displaystyle f}
Archetyp (matematika)
∘ {\ displaystyle \ circ}
F ∘ G {\ Displaystyle f \ circ g}
Zřetězení funkcí aF {\ displaystyle f} G {\ displaystyle g}
Složení (matematika)
\circ
U+2218
∗ {\ displaystyle \ ast}
F ∗ G {\ Displaystyle f \ ast g}
Konvoluce funkcí aF {\ displaystyle f} G {\ displaystyle g}
Konvoluce (matematika)
\ast
∗
U+2217
^ {\ displaystyle {\ hat {~}}}
F ^ {\ displaystyle {\ hat {f}}}
Fourierova transformace funkce F {\ displaystyle f}
Fourierova transformace
\hat
U+0302
Viz také: Symbolické notace pro funkce pro jiné varianty notace
Mezní hodnoty
symbol
použití
výklad
položky
Latex
HTML
Unicode
↑ {\ displaystyle \ uparrow}
lim X ↑ A F ( X ) {\ Displaystyle \ lim _ {x \ uparrow a} f (x)}
levý limit funkce pro protiF {\ displaystyle f} X {\ displaystyle x} A {\ displaystyle a}
Mezní hodnota (funkce)
\uparrow
↑
U+2191
↗ {\ Displaystyle \ nearrow}
lim X ↗ A F ( X ) {\ Displaystyle \ lim _ {x \ nearrow a} f (x)}
\nearrow
U+2197
→ {\ displaystyle \ to}
lim X → A F ( X ) {\ Displaystyle \ lim _ {x \ to a} f (x)}
oboustranná mezní hodnota funkce pro protiF {\ displaystyle f} X {\ displaystyle x} A {\ displaystyle a}
\to
→
U+2192
↘ {\ Displaystyle \ searrow}
lim X ↘ A F ( X ) {\ Displaystyle \ lim _ {x \ searrow a} f (x)}
pravý limit funkce pro protiX {\ displaystyle x} A {\ displaystyle a}
\searrow
U+2198
↓ {\ displaystyle \ downarrow}
lim X ↓ A F ( X ) {\ Displaystyle \ lim _ {x \ downarrow a} f (x)}
\downarrow
↓
U+2193
X n → p X {\ displaystyle X_ {n} {\ xrightarrow {p}} X}
plim ( X n ) = X {\ displaystyle \ operatorname {plim} (X_ {n}) = X}
Konvergence v pravděpodobnosti pro protiX n {\ displaystyle X_ {n}} X {\ displaystyle X}
Konvergence (stochastika)
\to
→
U+2192
X n → d X {\ displaystyle X_ {n} {\ xrightarrow {d}} X}
X n → d X {\ displaystyle x_ {n} {\ xrightarrow {d}} x}
Konvergence v distribuci pro protiX n {\ displaystyle x_ {n}} X {\ displaystyle x}
\to
→
U+2192
X n → m X {\ displaystyle X_ {n} {\ xrightarrow {m}} X}
X n → m X {\ displaystyle x_ {n} {\ xrightarrow {m}} x}
Kořenová střední kvadratická konvergence pro protiX n {\ displaystyle x_ {n}} X {\ displaystyle x}
\to
→
U+2192
Asymptotické chování
symbol
použití
výklad
položky
Latex
HTML
Unicode
∼ {\ displaystyle \ sim}
F ∼ G {\ displaystyle f \ sim g}
funkce je asymptoticky stejná jako funkceF {\ displaystyle f} G {\ displaystyle g}
Asymptotická analýza
\sim
∼
U+223C
Ó {\ displaystyle o}
F ∈ Ó ( G ) {\ Displaystyle f \ v o (g)}
funkce roste pomaleji nežF {\ displaystyle f} G {\ displaystyle g}
Landau symboly
o
U+006F
Ó {\ displaystyle {\ mathcal {O}}}
F ∈ Ó ( G ) {\ Displaystyle f \ v {\ mathcal {O}} (g)}
funkce roste pomaleji nebo tak rychle jakoF {\ displaystyle f} G {\ displaystyle g}
\mathcal{O}
U+1D4AA
Θ {\ displaystyle \ Theta}
F ∈ Θ ( G ) {\ displaystyle f \ in \ Theta (g)}
funkce roste stejně rychle jakoF {\ displaystyle f} G {\ displaystyle g}
\Theta
Θ
U+0398
Ω {\ displaystyle \ Omega}
F ∈ Ω ( G ) {\ Displaystyle f \ in \ Omega (g)}
funkce roste rychleji nebo stejně rychle jakoF {\ displaystyle f} G {\ displaystyle g}
\Omega
Ω
U+03A9
ω {\ displaystyle \ omega}
F ∈ ω ( G ) {\ Displaystyle f \ in \ omega (g)}
funkce roste rychleji nežF {\ displaystyle f} G {\ displaystyle g}
\omega
ω
U+03C9
Diferenciální počet
symbol
použití
výklad
položky
Latex
HTML
Unicode
" {\ displaystyle {} '}
F " , F ″ {\ displaystyle f ', f' '}
první nebo druhá derivace funkce F {\ displaystyle f}
Diferenciální počet
\prime
′
U+2032
⋅ {\ displaystyle \ cdot}
F ˙ , F ¨ {\ displaystyle {\ dot {f}}, {\ ddot {f}}}
první nebo druhá derivace času po čase (ve fyzice)
F {\ displaystyle f}
\dot
, \ddot
U+0307
( ) {\ displaystyle {} ^ {(~)}}
F ( n ) {\ displaystyle f ^ {(n)}}
n {\ displaystyle n} -th derivace funkce F {\ displaystyle f}
( )
U+0028/9
d {\ displaystyle \ mathrm {d}}
d F d X {\ displaystyle {\ frac {\ mathrm {d} f} {\ mathrm {d} x}}}
Odvození funkce podleF {\ displaystyle f} X {\ displaystyle x}
\mathrm{d}
U+0064
d F {\ displaystyle \ mathrm {d} f}
celkový diferenci funkce F {\ displaystyle f}
Totální diferenciál
∂ {\ displaystyle \ partial}
∂ F ∂ X {\ displaystyle {\ frac {\ částečné \! f} {\ částečné x}}}
parciální derivace funkce naF {\ displaystyle f} X {\ displaystyle x}
Parciální derivace
\partial
∂
U+2202
Integrální počet
symbol
použití
výklad
položky
Latex
HTML
Unicode
∫ {\ displaystyle \ int}
∫ A b {\ displaystyle \ int _ {a} ^ {b}} , ∫ G {\ displaystyle \ displaystyle \ int _ {G}}
definitivní integrál mezi a nad oblastíA {\ displaystyle a} b {\ displaystyle b} G {\ displaystyle G}
Integrální počet
\int
∫
U+222B
∮ {\ Displaystyle \ mast}
∮ γ {\ Displaystyle \ mast _ {\ gamma}}
Integrální přes křivku γ {\ displaystyle \ gamma}
Křivkový integrál
\oint
U+222E
∬ {\ displaystyle \ iint}
∬ F. {\ displaystyle \ iint _ {\ mathcal {F}}}
Integrální nad oblastí F. {\ displaystyle {\ mathcal {F}}}
Povrchový integrál
\iint
U+222C
∭ {\ displaystyle \ iiint}
∭ PROTI {\ displaystyle \ iiint _ {V}}
Integrovaný přes hlasitost PROTI {\ displaystyle V}
Objemový integrál
\iiint
U+222D
∫ A b ¯ {\ displaystyle \ int \ limits _ {a} ^ {\ bar {b}}}
∫ A b ¯ F ( X ) d X {\ Displaystyle \ int \ limits _ {a} ^ {\ bar {b}} f (x) \ dx}
Horní integrál ze dneF {\ displaystyle f} [ A , b ] {\ displaystyle [a, b]}
Horní integrál
\int\limits _{ a}^{ \bar b} f(x) \ dx
∫ A _ b {\ displaystyle \ int \ limits _ {\ podtržení {a}} ^ {b}}
∫ A _ b F ( X ) d X {\ displaystyle \ int \ limits _ {\ podtržení {a}} ^ {b} f (x) \ dx}
Dílčí integrál dneF {\ displaystyle f} [ A , b ] {\ displaystyle [a, b]}
Dílčí integrál
\int\limits _{ \underline a}^{ b} f(x) \ dx
Vektorová analýza
symbol
použití
výklad
položky
Latex
HTML
Unicode
∇ {\ Displaystyle \ nabla}
∇ F {\ Displaystyle \ nabla f}
Přechod funkce F {\ displaystyle f}
Přechod (matematika)
\nabla
∇
U+2207
∇ ⋅ F. {\ displaystyle \ nabla \ cdot F}
Divergence vektorového pole F. {\ displaystyle F}
Divergence vektorového pole
∇ × F. {\ displaystyle \ nabla \ times F}
Otočení vektorového pole F. {\ displaystyle F}
Otočení vektorového pole
Δ {\ displaystyle \ Delta}
Δ F {\ Displaystyle \ Delta f}
Laplaceův operátor funkce F {\ displaystyle f}
Laplaceův operátor
\Delta
Δ
U+2206
◻ {\ displaystyle \ square}
◻ F {\ Displaystyle \ square f}
D'Alembertův operátor funkce F {\ displaystyle f}
Operátor D'Alembert
\square
U+25A1
topologie
symbol
použití
výklad
položky
Latex
HTML
Unicode
∂ {\ displaystyle \ partial}
∂ U {\ displaystyle \ partial U}
Okraj davu U {\ displaystyle U}
Edge (topologie)
\partial
∂
U+2202
∘ {\ displaystyle {} ^ {\ circ}}
U ∘ {\ Displaystyle U ^ {\ circ}}
Srdce davu U {\ displaystyle U}
Vnitřní bod
\circ
°
U+02DA
¯ {\ displaystyle {\ overline {~~}}}
U ¯ {\ displaystyle {\ overline {U}}}
Dokončení davu U {\ displaystyle U}
Stupeň (topologie)
\bar
U+0305
˙ {\ displaystyle {\ dot {~}}}
U ˙ ( X ) {\ displaystyle {\ dot {U}} (x)}
Tečkovaná sousedství boduU {\ displaystyle U} X {\ displaystyle x}
Tečkované prostředí
\dot
U+0307
Funkční analýza
symbol
použití
výklad
položky
Latex
HTML
Unicode
" {\ displaystyle {} '}
PROTI " {\ displaystyle V '}
topologický duální prostor topologického vektorového prostoru PROTI {\ displaystyle V}
Topologický duální prostor
\prime
′
U+2032
″ {\ displaystyle {} ''}
PROTI ″ {\ displaystyle V ''}
Oboustranný prostor normalizovaného vektorového prostoru PROTI {\ displaystyle V}
Dvoulůžkový pokoj
^ {\ displaystyle {\ hat {~}}}
X ^ {\ displaystyle {\ hat {X}}}
Dokončení metrického prostoru X {\ displaystyle X}
Kompletní prostor
\hat
U+0302
↪ {\ Displaystyle \ hookrightarrow}
X ↪ Y {\ Displaystyle X \ hookrightarrow Y}
Vložení topologického prostoru do prostoruX {\ displaystyle X} Y {\ displaystyle Y}
Vkládání (matematika)
\hookrightarrow
U+21AA
∗ {\ displaystyle {} ^ {\ ast}}
T ∗ {\ displaystyle T ^ {\ ast}}
Vedlejší operátor lineárního operátoru T {\ displaystyle T}
Pomocný operátor
\ast
∗
U+002A
Teorie měření
symbol
použití
výklad
položky
Latex
HTML
Unicode
≪ {\ displaystyle \ ll}
ν ≪ μ {\ Displaystyle \ nu \ ll \ mu}
Opatření je absolutně konstantní, pokud jde oν {\ displaystyle \ nu} μ {\ Displaystyle \ mu}
Absolutně konstantní míra
\ll
U+226A
⊥ {\ displaystyle \ perp}
ν ⊥ μ {\ Displaystyle \ nu \ perp \ mu}
Toto opatření je v jednotném čísleν {\ displaystyle \ nu} μ {\ Displaystyle \ mu}
Singulární míra
\perp
U+22A5
σ {\ Displaystyle \ sigma}
σ ( M. ) {\ displaystyle \ sigma ({\ mathcal {M}})}
Nejmenší algebra, která obsahuje
σ {\ Displaystyle \ sigma} M. {\ displaystyle {\ mathcal {M}}}
σ-algebra
\sigma
U+03C3
δ {\ Displaystyle \ delta}
δ ( E. ) {\ displaystyle \ delta ({\ mathcal {E}})}
Nejmenší Dynkinův systém, který obsahuje
E. {\ displaystyle {\ mathcal {E}}}
Dynkinův systém
\delta
U+03B4
Lineární algebra a geometrie
Elementární geometrie
symbol
použití
výklad
položky
Latex
HTML
Unicode
[ ] {\ displaystyle [~~]}
[ A. B. ] {\ displaystyle [AB]}
Vzdálenost mezi body aA. {\ displaystyle A} B. {\ displaystyle B}
Trasa (geometrie)
[ ]
U+005B/D
| | {\ displaystyle | ~~ |}
| A. B. | {\ displaystyle | AB |}
Délka trasy mezi body aA. {\ displaystyle A} B. {\ displaystyle B}
\vert
U+007C
¯ {\ displaystyle {\ overline {~~}}}
A. B. ¯ {\ displaystyle {\ overline {AB}}}
\overline
U+0305
→ {\ displaystyle {\ overrightarrow {~~}}}
A. B. → {\ displaystyle {\ overrightarrow {AB}}}
Spojovací vektor bodů aA. {\ displaystyle A} B. {\ displaystyle B}
vektor
\vec
U+20D7
( ) {\ displaystyle (~~)}
( A. B. ) {\ displaystyle (AB)}
Přímka spojující body aA. {\ displaystyle A} B. {\ displaystyle B}
Spojovací vedení
( )
U+0028/9
∠ {\ displaystyle \ angle}
∠ A. B. C. {\ displaystyle \ angle ABC}
Úhel se stehny aB. A. {\ displaystyle BA} B. C. {\ displaystyle BC}
úhel
\angle
∠
U+2220
△ {\ displaystyle \ triangle}
△ A. B. C. {\ displaystyle \ triangle ABC}
Trojúhelník s rohovými body , aA. {\ displaystyle A} B. {\ displaystyle B} C. {\ displaystyle C}
trojúhelník
\triangle
U+25B3
◻ {\ displaystyle \ square}
◻ A. B. C. D. {\ displaystyle \ square {\ mathit {ABCD}}}
Obdélník s rohy , , aA. {\ displaystyle A} B. {\ displaystyle B} C. {\ displaystyle C} D. {\ displaystyle D}
náměstí
\square
U+25A1
∥ {\ displaystyle \ paralelní}
G ∥ H {\ Displaystyle g \ paralelní h}
rovné čáry a jsou navzájem rovnoběžné
G {\ displaystyle g} H {\ displaystyle h}
Rovnoběžnost (geometrie)
\parallel
U+2225
∦ {\ displaystyle \ nparallel}
G ∦ H {\ displaystyle g \ nparallel h}
přímky a nejsou navzájem rovnoběžné
G {\ displaystyle g} H {\ displaystyle h}
\nparallel
U+2226
⊥ {\ displaystyle \ perp}
G ⊥ H {\ Displaystyle g \ perp h}
rovné čáry a jsou navzájem kolmé
G {\ displaystyle g} H {\ displaystyle h}
Ortogonalita
\perp
⊥
U+22A5
Vektory a matice
symbol
výklad
položky
Latex
( proti 1 , ... , proti n ) {\ displaystyle {\ begin {pmatrix} v_ {1}, \ ldots, v_ {n} \ end {pmatrix}}}
Vektor čáry sestávající z prvků doproti 1 {\ displaystyle v_ {1}} proti n {\ displaystyle v_ {n}}
vektor
\begin{pmatrix}
...
\end{pmatrix}
nebo\left(
\begin{array}{...}
...
\end{array}
\right)
( proti 1 ⋮ proti m ) {\ displaystyle {\ begin {pmatrix} v_ {1} \\\ vdots \\ v_ {m} \ end {pmatrix}}}
Sloupcový vektor skládající se z prvků doproti 1 {\ displaystyle v_ {1}} proti m {\ displaystyle v_ {m}}
( A 11 ... A 1 n ⋮ ⋱ ⋮ A m 1 ... A m n ) {\ Displaystyle {\ begin {pmatrix} a_ {11} & \! \ ldots \! & a_ {1n} \\\ vdots & \! \ ddots \! & \ vdots \\ a_ {m1} & \! \ ldots \! & a_ {mn} \ end {pmatrix}}}
Matice sestávající z prvků doA 11 {\ displaystyle a_ {11}} A m n {\ displaystyle a_ {mn}}
Matice (matematika)
Vektorový výpočet
symbol
použití
výklad
položky
Latex
HTML
Unicode
⋅ {\ displaystyle \ cdot}
proti ⋅ w {\ Displaystyle v \ cdot w}
Tečkový součin vektorů aproti {\ displaystyle v} w {\ displaystyle w}
Skalární produkt
\cdot
·
U+22C5
( ) {\ displaystyle (~~)}
( proti , w ) {\ displaystyle (v, w)}
( )
U+0028/9
⟨ ⟩ {\ displaystyle \ langle ~~ \ rangle}
⟨ proti , w ⟩ {\ displaystyle \ langle v, w \ rangle} ⟨ proti | w ⟩ {\ Displaystyle \ langle v \, | \, w \ rangle}
\langle \rangle
⟨
⟩
U+27E8/9
× {\ displaystyle \ times}
proti × w {\ displaystyle v \ times w}
Křížový součin (vektorový součin) vektorů aproti {\ displaystyle v} w {\ displaystyle w}
Křížový produkt
\times
×
U+2A2F
[ ] {\ displaystyle [~~]}
[ proti , w ] {\ displaystyle [v, w]}
[ ]
U+005B/D
( ) {\ displaystyle (~~)}
( u , proti , w ) {\ displaystyle (u, v, w)}
Pozdní součin vektorů , au {\ displaystyle u} proti {\ displaystyle v} w {\ displaystyle w}
Pozdní výrobek
( )
U+0028/9
⊗ {\ Displaystyle \ otimes}
proti ⊗ w {\ Displaystyle v \ otimes w}
dyadický součin vektorů aproti {\ displaystyle v} w {\ displaystyle w}
Dyadický výrobek
\otimes
⊗
U+2297
∧ {\ displaystyle \ wedge}
proti ∧ w {\ Displaystyle v \ klín w}
Deštník součin vektorů aproti {\ displaystyle v} w {\ displaystyle w}
Střešní výrobek
\wedge
U+2227
| | {\ displaystyle | ~~ |}
| proti | {\ displaystyle | v |}
Množství vektoru proti {\ displaystyle v}
vektor
\vert
U+007C
‖ ‖ {\ displaystyle \ | ~~ \ |}
‖ proti ‖ {\ displaystyle \ | v \ |}
Norma vektoru proti {\ displaystyle v}
Vektorová norma
\Vert
, \|
U+2016
^ {\ displaystyle {\ hat {~}}}
proti ^ {\ displaystyle {\ hat {v}}}
Jednotkový vektor na vektor proti {\ displaystyle v}
Jednotkový vektor
\hat
U+0302
Maticový výpočet
symbol
použití
výklad
položky
Latex
HTML
Unicode
⋅ {\ displaystyle \ cdot}
A. ⋅ B. {\ Displaystyle A \ cdot B}
Součin matric aA. {\ displaystyle A} B. {\ displaystyle B}
Násobení matice
\cdot
·
U+22C5
: {\ displaystyle \ colon}
A. : B. {\ displaystyle A \, \ colon \, B}
Frobeniusův bodový součin matic a (ve fyzice)
A. {\ displaystyle A} B. {\ displaystyle B}
Bodový výrobek Frobenius
\colon
U+003A
∘ {\ displaystyle \ circ}
A. ∘ B. {\ displaystyle A \ circle B}
Hadamardský produkt z matric aA. {\ displaystyle A} B. {\ displaystyle B}
Výrobek Hadamard
\circ
U+2218
⊗ {\ Displaystyle \ otimes}
A. ⊗ B. {\ Displaystyle A \ otimes B}
Kroneckerův produkt z matric aA. {\ displaystyle A} B. {\ displaystyle B}
Výrobek Kronecker
\otimes
⊗
U+2297
T {\ displaystyle {} ^ {T}}
A. T {\ displaystyle A ^ {T}}
transponovaná matice matice A. {\ displaystyle A}
Transponovaná matice
T
U+0054
H {\ displaystyle {} ^ {H}}
A. H {\ displaystyle A ^ {H}}
pomocná matice matice A. {\ displaystyle A}
Pomocná matice
H
U+0048
∗ {\ displaystyle {} ^ {\ ast}}
A. ∗ {\ displaystyle A ^ {\ ast}}
\ast
∗
U+002A
† † {\ displaystyle {} ^ {\ dagger}}
A. † † {\ displaystyle A ^ {\ dagger}}
\dagger
†
U+2020
- 1 {\ displaystyle {} ^ {- 1}}
A. - 1 {\ displaystyle A ^ {- 1}}
inverzní matice matice A. {\ displaystyle A}
Inverzní matice
-1
U+207B
+ {\ displaystyle {} ^ {+}}
A. + {\ displaystyle A ^ {+}}
Moore-Penrose Inverse of the Matrix A. {\ displaystyle A}
Pseudo-inverzní
+
U+002B
| | {\ displaystyle | ~~ |}
| A. | {\ displaystyle | A |}
Determinant matice A. {\ displaystyle A}
Determinant (matematika)
\vert
U+007C
‖ ‖ {\ displaystyle \ | ~~ \ |}
‖ A. ‖ {\ displaystyle \ | A \ |}
Norma matice A. {\ displaystyle A}
Maticová norma
\Vert
, \|
U+2016
Vektorové mezery
symbol
použití
výklad
položky
Latex
HTML
Unicode
+ {\ displaystyle +}
PROTI + W. {\ displaystyle V + W}
Součet vektorových mezer aPROTI {\ displaystyle V} W. {\ displaystyle W}
Přímá částka
+
U+002B
⊕ {\ displaystyle \ oplus}
PROTI ⊕ W. {\ Displaystyle V \ oplus W}
přímý součet vektorových prostorů aPROTI {\ displaystyle V} W. {\ displaystyle W}
\oplus
⊕
U+2295
× {\ displaystyle \ times}
PROTI × W. {\ displaystyle V \ times W}
přímý součin vektorových prostorů aPROTI {\ displaystyle V} W. {\ displaystyle W}
Přímý produkt
\times
×
U+2A2F
⊗ {\ Displaystyle \ otimes}
PROTI ⊗ W. {\ Displaystyle V \ otimes W}
Tenzorový součin vektorových prostorů aPROTI {\ displaystyle V} W. {\ displaystyle W}
Tenzorový výrobek
\otimes
⊗
U+2297
/ {\ displaystyle /}
PROTI / U {\ displaystyle V \, / \, U}
Faktorový prostor vektorového prostoru za subvektorovým prostoremPROTI {\ displaystyle V} U {\ displaystyle U}
Prostor faktoru
/
⁄
U+002F
⊥ {\ displaystyle {} ^ {\ perp}}
U ⊥ {\ displaystyle U ^ {\ perp}}
ortogonální doplněk podprostoru U {\ displaystyle U}
Ortogonální doplněk
\perp
⊥
U+27C2
∗ {\ displaystyle {} ^ {\ ast}}
PROTI ∗ {\ displaystyle V ^ {\ ast}}
Duální prostor vektorového prostoru PROTI {\ displaystyle V}
Duální prostor
\ast
∗
U+002A
0 {\ displaystyle {} ^ {0}}
X 0 {\ displaystyle X ^ {0}}
Annihilator prostor sady vektorů X {\ displaystyle X}
Annihilator (matematika)
0
U+0030
⟨ ⟩ {\ displaystyle \ langle ~~ \ rangle}
⟨ X ⟩ {\ displaystyle \ langle X \ rangle}
lineární obálka množiny vektorů X {\ displaystyle X}
Lineární obálka
\langle \rangle
⟨
⟩
U+27E8/9
algebra
Vztahy
symbol
použití
výklad
položky
Latex
HTML
Unicode
∘ {\ displaystyle \ circ}
R. ∘ S. {\ displaystyle R \ circ S}
Složení vztahů aR. {\ displaystyle R} S. {\ displaystyle S}
Složení (matematika)
\circ
U+2218
A ∘ b {\ Displaystyle a \ circ b}
Propojení prvků a (obecně)
A {\ displaystyle a} b {\ displaystyle b}
Vazba (matematika)
∙ {\ displaystyle \ bullet}
A ∙ b {\ displaystyle a \ bullet b}
\bullet
•
U+2219
∗ {\ displaystyle \ ast}
A ∗ b {\ displaystyle a \ ast b}
\ast
∗
U+2217
≤ {\ displaystyle \ leq}
A ≤ b {\ Displaystyle a \ leq b}
Pořadí vztah mezi prvky aA {\ displaystyle a} b {\ displaystyle b}
Vztah objednávky
\leq
≤
U+2264
≺ {\ displaystyle \ prec}
A ≺ b {\ Displaystyle a \ prec b}
prvek je předchůdcem prvkuA {\ displaystyle a} b {\ displaystyle b}
Nástupce (matematika)
\prec
U+227A
≻ {\ displaystyle \ succ}
A ≻ b {\ Displaystyle a \ succ b}
prvek je nástupcem prvkuA {\ displaystyle a} b {\ displaystyle b}
\succ
U+227B
∼ {\ displaystyle \ sim}
A ∼ b {\ displaystyle a \ sim b}
Vztah ekvivalence mezi prvky aA {\ displaystyle a} b {\ displaystyle b}
Vztah ekvivalence
\sim
∼
U+223C
[ ] {\ displaystyle [~~]}
[ A ] {\ displaystyle [a]}
Třída ekvivalence prvku A {\ displaystyle a}
Třída ekvivalence
[ ]
U+005B/D
/ {\ displaystyle /}
M. / ∼ {\ displaystyle M / \ sim}
Faktorová množina množiny podle vztahu ekvivalenceM. {\ displaystyle M} ∼ {\ displaystyle \ sim}
Sada faktorů (matematika)
/
⁄
U+002F
- 1 {\ displaystyle {} ^ {- 1}}
R. - 1 {\ displaystyle R ^ {- 1}}
Inverzní vztah vztahu R. {\ displaystyle R}
Inverzní vztah
-1
U+207B
+ {\ displaystyle {} ^ {+}}
R. + {\ displaystyle R ^ {+}}
Přechodná obálka vztahu R. {\ displaystyle R}
Přechodná obálka (relace)
+
U+002B
∗ {\ displaystyle {} ^ {\ ast}}
R. ∗ {\ displaystyle R ^ {\ ast}}
Reflexně-tranzitivní obálka vztahu R. {\ displaystyle R}
\ast
∗
U+002A
Skupinová teorie
symbol
použití
výklad
položky
Latex
HTML
Unicode
≃ {\ displaystyle \ simeq}
G ≃ H {\ Displaystyle G \ simeq H}
skupiny a jsou izomorfní
G {\ displaystyle G} H {\ displaystyle H}
Skupinový izomorfismus
\simeq
U+2243
≅ {\ displaystyle \ cong}
G ≅ H {\ Displaystyle G \ cong H}
\cong
≅
U+2245
× {\ displaystyle \ times}
G × H {\ displaystyle G \ times H}
Přímý součin skupin aG {\ displaystyle G} H {\ displaystyle H}
Přímý produkt
\times
×
U+2A2F
⋊ {\ displaystyle \ rtimes}
G ⋊ H {\ Displaystyle G \ rtimes H}
Polopřímý součin skupin aG {\ displaystyle G} H {\ displaystyle H}
Polopřímý produkt
\rtimes
U+22CA
≀ {\ displaystyle \ wr}
G ≀ H {\ Displaystyle G \, \ wr \, H}
Věnec součin skupin aG {\ displaystyle G} H {\ displaystyle H}
Věnec výrobek
\wr
U+2240
≤ {\ displaystyle \ leq}
U ≤ G {\ Displaystyle U \ leq G}
U {\ displaystyle U} je podskupina skupiny G {\ displaystyle G}
Podskupina
\leq
≤
U+2264
< {\ displaystyle <}
U < G {\ displaystyle U <G}
U {\ displaystyle U} je skutečnou podskupinou skupiny G {\ displaystyle G}
\lt
<
U+003C
⊲ {\ Displaystyle \ vartriangleleft}
N. ⊲ G {\ Displaystyle N \ vartriangleleft G}
N. {\ displaystyle N} je normální součástí skupiny G {\ displaystyle G}
Normální dělič
\vartriangleleft
U+22B2
⊴ {\ Displaystyle \ trianglelefteq}
N. ⊴ G {\ Displaystyle N \ trianglelefteq G}
\trianglelefteq
/ {\ displaystyle /}
G / N. {\ displaystyle G / N}
Faktorová skupina skupiny za normálním dělitelemG {\ displaystyle G} N. {\ displaystyle N}
Faktorová skupina
/
⁄
U+002F
: {\ displaystyle \ colon}
( G : U ) {\ displaystyle (G \ colon U)}
Index podskupiny ve skupiněU {\ displaystyle U} G {\ displaystyle G}
Index (teorie skupin)
\colon
U+003A
⟨ ⟩ {\ displaystyle \ langle ~~ \ rangle}
⟨ E. ⟩ {\ displaystyle \ langle E \ rangle}
Vygeneruje se
podskupina podle částkyE. {\ displaystyle E}
Výrobce (algebra)
\langle \rangle
⟨
⟩
U+27E8/9
( ) {\ displaystyle (~~)}
( G , H ) {\ displaystyle (g, h)}
Konjugace prvků skupiny aG {\ displaystyle g} H {\ displaystyle h}
Konjugace (teorie skupin)
( )
U+0028/9
[ ] {\ displaystyle [~~]}
[ G , H ] {\ displaystyle [g, h]}
Komutátor prvků skupiny aG {\ displaystyle g} H {\ displaystyle h}
Komutátor (matematika)
[ ]
U+005B/D
Teorie těla
symbol
použití
výklad
položky
Latex
HTML
Unicode
/ {\ displaystyle /}
L. / K {\ displaystyle L / K}
Prodloužení těla přes těloL. {\ displaystyle L} K {\ displaystyle K}
Zvětšení těla
/
⁄
U+002F
∣ {\ displaystyle \ mid}
L. ∣ K {\ displaystyle L \ mid K}
\mid
U+007C
: {\ displaystyle \ colon}
L. : K {\ displaystyle L \ colon K}
\colon
U+003A
[ L. : K ] {\ displaystyle [L \ colon K]}
Stupeň zvětšení těla nadL. {\ displaystyle L} K {\ displaystyle K}
Stupeň roztažnosti
¯ {\ displaystyle {\ overline {~~}}}
K ¯ {\ displaystyle {\ overline {K}}}
Algebraické uzavření těla K {\ displaystyle K}
Algebraický stupeň
\overline
U+0305
K {\ displaystyle \ mathbb {K}}
Pole reálných nebo komplexních čísel
Tělo (algebra)
\mathbb{K}
U+1D542
F. {\ displaystyle \ mathbb {F}}
konečné tělo
Konečné tělo
\mathbb{F}
U+1D53D
Teorie prstenu
symbol
použití
výklad
položky
Latex
HTML
Unicode
∗ {\ displaystyle {} ^ {\ ast}}
R. ∗ {\ displaystyle R ^ {\ ast}}
Skupina jednotek prstenu R. {\ displaystyle R}
Skupina jednotek
\ast
∗
U+2217
× {\ displaystyle {} ^ {\ times}}
R. × {\ displaystyle R ^ {\ times}}
\times
×
U+2A2F
⊲ {\ Displaystyle \ vartriangleleft}
I. ⊲ R. {\ Displaystyle I \ vartriangleleft R}
I. {\ displaystyle I} je ideálem prstenu R. {\ displaystyle R}
Ideální (teorie prstenů)
\vartriangleleft
U+22B2
/ {\ displaystyle /}
R. / I. {\ displaystyle R / I}
Faktorový prsten prstenu podle ideáluR. {\ displaystyle R} I. {\ displaystyle I}
Faktorový prsten
/
⁄
U+002F
[ ] {\ displaystyle [~~]}
R. [ X ] {\ displaystyle R [X]}
Polynomiální prstenec nad prstencem s proměnnouR. {\ displaystyle R} X {\ displaystyle X}
Polynomiální prstenec
[ ]
U+005B/D
Stochastika
Kombinatorika
symbol
použití
výklad
položky
Latex
HTML
Unicode
! {\ displaystyle!}
n ! {\ displaystyle n!}
Počet permutací prvků
n {\ displaystyle n}
Fakulta
!
U+0021
! n {\ displaystyle! n}
Počet permutací prvků
bez pevných bodůn {\ displaystyle n}
Vedlejší fakulta
n ! ! {\ displaystyle n !!}
Počet skutečných evolutivních permutací ( lichých)
n {\ displaystyle n}
Dvojitá fakulta
( ) {\ displaystyle {\ tbinom {~} {~}}}
( n k ) {\ displaystyle {\ tbinom {n} {k}}}
Počet kombinací bez opakování z prvků
k {\ displaystyle k} n {\ displaystyle n}
Binomický koeficient
\binom
U+0028/9
( n k 1 , ... , k r ) {\ displaystyle {\ tbinom {n} {k_ {1}, \ ldots, k_ {r}}}}
Počet uspořádání různých prvků
k 1 , ... , k r {\ displaystyle k_ {1}, \ ldots, k_ {r}}
Multinomický koeficient
( ( ) ) {\ displaystyle \ left (\! {\ tbinom {~} {~}} \! \ right)}
( ( n k ) ) {\ Displaystyle \ left (\! {\ tbinom {n} {k}} \! \ right)}
Počet kombinací s opakováním z prvků
k {\ displaystyle k} n {\ displaystyle n}
Vícenásobné
U+0028/9
¯ {\ displaystyle {\ overline {~~}}}
n m ¯ {\ displaystyle n ^ {\ overline {m}}}
Zvyšování faktoriálu ze s faktory
n {\ displaystyle n} m {\ displaystyle m}
Padající a rostoucí faktoriál
\overline
U+0305
n m _ {\ displaystyle n ^ {\ podtržení {m}}}
Padající faktoriál s faktory
n {\ displaystyle n} m {\ displaystyle m}
\underline
U+0332
# {\ displaystyle \ #}
n # {\ Displaystyle n \ #}
Součin prvočísel menších nebo rovných n {\ displaystyle n}
Primární
\#
U+0023
výpočet pravděpodobnosti
symbol
použití
výklad
položky
Latex
HTML
Unicode
P. {\ displaystyle P}
P. ( A. ) {\ displaystyle P (A)}
Pravděpodobnost události A. {\ displaystyle A}
Opatření pravděpodobnosti
P
U+2119
∣ {\ displaystyle \ mid}
P. ( A. ∣ B. ) {\ displaystyle P (A \ mid B)}
Pravděpodobnost předpokladuA. {\ displaystyle A} B. {\ displaystyle B}
Podmíněná pravděpodobnost
\mid
U+007C
E. {\ displaystyle \ operatorname {E}}
E. [ X ∣ Y ] {\ displaystyle \ operatorname {E} [X \ mid Y]}
Očekávaná hodnota náhodné proměnné kvůliX {\ displaystyle X} Y {\ displaystyle Y}
Očekávaná hodnota
-
U+1D53C
U+223C
E. {\ displaystyle \ operatorname {E}}
E. [ X ] {\ displaystyle \ operatorname {E} [X]}
Očekávaná hodnota náhodné proměnné X {\ displaystyle X}
-
U+1D53C
Var {\ displaystyle \ operatorname {Var}}
Var [ X ] {\ displaystyle \ operatorname {Var} [X]}
Rozptyl náhodné proměnné X {\ displaystyle X}
Variance (stochastika)
-
-
sd {\ displaystyle \ operatorname {sd}}
sd [ X ] {\ displaystyle \ operatorname {sd} [X]}
Standardní odchylka náhodné veličiny X {\ displaystyle X}
Směrodatná odchylka (teorie pravděpodobnosti)
-
-
Cov {\ displaystyle \ operatorname {Cov}}
Cov [ X , Y ] {\ displaystyle \ operatorname {Cov} [X, Y]}
Kovariance náhodných proměnných aX {\ displaystyle X} Y {\ displaystyle Y}
Covariance (stochastika)
ρ {\ Displaystyle \ rho}
ρ ( X , Y ) {\ Displaystyle \ rho (X, Y)}
Korelace náhodných proměnných aX {\ displaystyle X} Y {\ displaystyle Y}
Korelační koeficient
\rho
ρ
U+03C1
R. 2 {\ displaystyle R ^ {2}}
ρ ( X , Y ) 2 {\ Displaystyle \ rho (X, Y) ^ {2}}
Čtverec korelace mezi náhodnými proměnnými aX {\ displaystyle X} Y {\ displaystyle Y}
Koeficient determinace
\rho
ρ
U+03C1
∼ {\ displaystyle \ sim}
X ∼ F. {\ displaystyle X \ sim F}
náhodná proměnná sleduje rozděleníX {\ displaystyle X} F. {\ displaystyle F}
Rozdělení pravděpodobnosti
\sim
∼
U+223C
≁ {\ Displaystyle \ nsim}
X ≁ F. {\ Displaystyle X \ nsim F}
náhodná proměnná nesleduje rozděleníX {\ displaystyle X} F. {\ displaystyle F}
\nsim
≁
U+2241
∼ A . s . {\ displaystyle {\ stackrel {as} {\ sim}}}
X ∼ A . s . F. {\ displaystyle X \; {\ stackrel {as} {\ sim}} \; F}
náhodná proměnná téměř jistě sleduje rozděleníX {\ displaystyle X} F. {\ displaystyle F}
\approx
≈
U+2248
∼ A {\ displaystyle {\ stackrel {a} {\ sim}}}
X ∼ A F. {\ Displaystyle X \; {\ stackrel {a} {\ sim}} \; F}
náhodná proměnná přibližně sleduje rozděleníX {\ displaystyle X} F. {\ displaystyle F}
\approx
≈
U+2248
∼ H 0 {\ displaystyle {\ stackrel {H_ {0}} {\ sim}}}
X ∼ H 0 F. {\ Displaystyle X \; {\ stackrel {H_ {0}} {\ sim}} \; F}
náhodná proměnná sleduje rozdělení podle nulové hypotézy X {\ displaystyle X} F. {\ displaystyle F}
\sim
∼
U+223C
⊥ ⊥ {\ displaystyle \ perp \! \! \! \ perp}
X ⊥ ⊥ Y {\ Displaystyle X \ perp \! \! \! \ perp Y}
náhodné proměnné a jsou stochasticky nezávislé
X {\ displaystyle X} Y {\ displaystyle Y}
Stochasticky nezávislé náhodné proměnné
-
-
-
Poznámka: pro operátory existuje několik variant zápisu; místo kulatých závorek se často používají hranaté závorky.
statistika
symbol
použití
výklad
položky
Latex
HTML
Unicode
~ {\ displaystyle {\ tilde {~}}}
X ~ {\ displaystyle {\ tilde {x}}}
Medián hodnot X 1 , ... , X n {\ displaystyle x_ {1}, \ ldots, x_ {n}}
Medián
\tilde
U+0303
¯ {\ displaystyle {\ bar {~}}}
X ¯ {\ displaystyle {\ bar {X}}}
Ukázkový průměr náhodné proměnné X 1 , ... , X n {\ displaystyle X_ {1}, \ ldots, X_ {n}}
Průměrný
\bar
U+0305
¯ {\ displaystyle {\ bar {~}}}
X ¯ {\ displaystyle {\ bar {x}}}
Průměr hodnot X 1 , ... , X n {\ displaystyle x_ {1}, \ ldots, x_ {n}}
Průměrný
\bar
U+0305
⟨ ⟩ {\ displaystyle \ langle ~~ \ rangle}
⟨ F ⟩ {\ displaystyle \ langle f \ rangle}
Průměr všech hodnot funkce (ve fyzice)
F {\ displaystyle f}
\langle \rangle
⟨
⟩
U+27E8/9
^ {\ displaystyle {\ hat {~}}}
p ^ {\ displaystyle {\ hat {p}}}
Odhadovaná hodnota parametru p {\ displaystyle p}
Odhad
\hat
U+0302
logika
Znamení definice
symbol
použití
výklad
položky
Latex
HTML
Unicode
: {\ displaystyle:}
A. : = B. {\ displaystyle A: = B}
A. {\ displaystyle A} je podle definice nastaven na stejnou hodnotu
B. {\ displaystyle B}
definice
:
U+003A
A. : ⇔ B. {\ Displaystyle A: \ Leftrightarrow B}
A. {\ displaystyle A} je nastaven
ekvivalentní podle definiceB. {\ displaystyle B}
Křižovatky
symbol
použití
výklad
položky
Latex
HTML
Unicode
∧ {\ Displaystyle \ land}
A. ∧ B. {\ Displaystyle A \ land B}
Prohlášení a prohlášeníA. {\ displaystyle A} B. {\ displaystyle B}
Konjunkce (logika)
\land
∧
U+2227
∨ {\ displaystyle \ lor}
A. ∨ B. {\ Displaystyle A \ lor B}
Prohlášení nebo prohlášení (nebo obojí)
A. {\ displaystyle A} B. {\ displaystyle B}
Disjunkce
\lor
∨
U+2228
⇔ {\ displaystyle \ Leftrightarrow}
A. ⇔ B. {\ Displaystyle A \ Leftrightarrow B}
Výpověď vyplývá z prohlášení a naopak
A. {\ displaystyle A} B. {\ displaystyle B}
Logická ekvivalence
\Leftrightarrow
⇔
U+21D4
↔ {\ displaystyle \ leftrightarrow}
A. ↔ B. {\ Displaystyle A \ leftrightarrow B}
\leftrightarrow
↔
U+2194
⇒ {\ displaystyle \ Rightarrow}
A. ⇒ B. {\ Displaystyle A \ Rightarrow B}
prohlášení následuje po prohlášeníA. {\ displaystyle A} B. {\ displaystyle B}
implikace
\Rightarrow
⇒
U+21D2
→ {\ displaystyle \ rightarrow}
A. → B. {\ displaystyle A \ rightarrow B}
\rightarrow
→
U+2192
≁ {\ Displaystyle \ nsim}
A. ≁ B. {\ Displaystyle A \ nsim B}
buď prohlášení, nebo prohlášeníA. {\ displaystyle A} B. {\ displaystyle B}
Kontravalence / antivalence
\nsim
≁
U+2241
⊕ {\ displaystyle \ oplus}
A. ⊕ B. {\ displaystyle A \ oplus B}
\oplus
⊕
U+2295
⊻ {\ Displaystyle \ veebar}
A. ⊻ B. {\ Displaystyle A \, \ veebar \, B}
\veebar
U+22BB
∨ ˙ {\ displaystyle {\ dot {\ lor}}}
A. ∨ ˙ B. {\ Displaystyle A \, {\ dot {\ lor}} \, B}
\dot\lor
U+2A52
↮ {\ Displaystyle \ nleva doprava šipka
A. ↮ B. {\ Displaystyle A \ nlevá pravá šipka B}
\nleftrightarrow
U+21AE
⇎ {\ Displaystyle \ nLeftrightarrow}
A. ⇎ B. {\ Displaystyle A \ nVlevopravá šipka B}
\nLeftrightarrow
U+21CE
¬ {\ displaystyle \ lnot}
¬ A. {\ displaystyle \ lnot A}
ne prohlášení A. {\ displaystyle A}
negace
\lnot
¬
U+00AC
¯ {\ displaystyle {\ overline {~~}}}
A. ¯ {\ displaystyle {\ overline {A}}}
\bar
U+0305
Kvantifikátory
symbol
použití
výklad
položky
Latex
HTML
Unicode
∀ {\ displaystyle \ forall}
∀ X {\ displaystyle \ forall \, x}
pro všechny prvky X {\ displaystyle x}
Univerzální kvantifikátor
\forall
∀
U+2200
⋀ {\ displaystyle \ bigwedge}
⋀ X {\ displaystyle \ bigwedge _ {x}}
\bigwedge
U+22C0
∃ {\ displaystyle \ existuje}
∃ X {\ displaystyle \ existuje \, x}
existuje alespoň jeden prvek X {\ displaystyle x}
Existenciální kvantifikátor
\exists
∃
U+2203
⋁ {\ displaystyle \ bigvee}
⋁ X {\ displaystyle \ bigvee _ {x}}
\bigvee
U+22C1
∃ ! {\ displaystyle \ existuje!}
∃ ! X {\ displaystyle \ existuje! \, x}
existuje přesně jeden prvek X {\ displaystyle x}
Číselný kvantifikátor
\exists!
∃
U+2203
⋁ ⋅ {\ displaystyle \ bigvee ^ {\ centerdot}}
⋁ X ⋅ {\ displaystyle \ bigvee _ {x} ^ {\ centerdot}}
\dot\bigvee
U+2A52
∄ {\ displaystyle \ nexists}
∄ X {\ displaystyle \ nexists \, x}
neexistuje žádný prvek X {\ displaystyle x}
Existenciální kvantifikátor
\nexists
U+2204
Srážkové znaky
symbol
použití
výklad
položky
Latex
HTML
Unicode
⊢ {\ displaystyle \ vdash}
A. ⊢ B. {\ Displaystyle A \ vdash B}
Prohlášení je syntakticky z výpisu odvoditelné
B. {\ displaystyle B} A. {\ displaystyle A}
Vztah derivovatelnosti
\vdash
U+22A2
⊨ {\ displaystyle \ models}
A. ⊨ B. {\ displaystyle A \ models B}
Příkaz sémanticky vyplývá z příkazuB. {\ displaystyle B} A. {\ displaystyle A}
závěr
\models
, \vDash
⊨
U+22A8
⊨ A. {\ displaystyle \ models A}
Prohlášení je obecně platné
A. {\ displaystyle A}
Tautologie (logika)
⊤ {\ displaystyle \ top}
A. ⊤ {\ displaystyle A \ top}
\top
⊥
U+22A4
⊥ {\ displaystyle \ bot}
A. ⊥ {\ displaystyle A \ bot}
Prohlášení je rozporuplné
A. {\ displaystyle A}
Rozpor
\bot
U+22A5
∴ {\ displaystyle \ proto}
A. ∴ B. {\ Displaystyle A \ proto B}
Prohlášení je pravdivé, proto je také pravdivé
A. {\ displaystyle A} B. {\ displaystyle B}
Odvození (logika)
\therefore
U+2234
∵ {\ displaystyle \ because}
A. ∵ B. {\ Displaystyle A \ protože B}
Prohlášení je pravdivé, protože tvrzení je také pravdivé
A. {\ displaystyle A} B. {\ displaystyle B}
\because
U+2235
↯
Rozpor
Důkaz rozporu
\lightning
U+21AF
◼ {\ displaystyle \ blacksquare}
Konec dokazování
quod erat demonstrandum
\blacksquare
U+220E
◻ {\ displaystyle \ Box}
\Box
U+25A1
Viz také
literatura
Tilo Arens, Frank Hettlich, Christian Karpfinger, Ulrich Kockelkorn, Klaus Lichtenegger, Hellmuth Stachel : Matematika . 2. vydání. Spektrum Akademischer Verlag, 2011, ISBN 3-8274-2347-3 , s. 1483 ff .
Wolfgang Hackbusch : Paperback of Mathematics, díl 1 . 3. Edice. Springer, 2010, ISBN 3-8351-0123-4 , s. 1275 ff .
Německý normalizační institut : DIN 1302: Obecné matematické symboly a termíny , Beuth-Verlag , 1999.
Německý normalizační institut: DIN 1303: vektory, matice, tenzory; Známky a podmínky , Beuth-Verlag, 1987.
Mezinárodní organizace pro normalizaci : DIN EN ISO 80000-2: Veličiny a jednotky - Část 2: Matematické symboly pro vědu a techniku , 2013.
webové odkazy
<img src="//de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">