WikiDer > ISO 31-11

ISO 31-11: 1992 qismi edi xalqaro standart ISO 31 bu belgilaydi fizika fanlari va texnikasida foydalanish uchun matematik belgilar va belgilar. Bu 2009 yilda almashtirildi ISO 80000-2.^[1]

Uning ta'riflari quyidagilarni o'z ichiga oladi:^[2]

Matematik mantiq

To'plamlar

Imzo	Misol	Ma'nosi va og'zaki ekvivalenti	Izohlar
∈	x ∈ A	x tegishli A; x to'plamning elementidir A
∉	x ∉ A	x tegishli emas A; x to'plamning elementi emas A	Inkor zarbasi vertikal ham bo'lishi mumkin.
∋	A ∋ x	to'plam A o'z ichiga oladi x (element sifatida)	bilan bir xil ma'no x ∈ A
∌	A ∌ x	to'plam A o'z ichiga olmaydi x (element sifatida)	bilan bir xil ma'no x ∉ A
{ }	{x1, x2, ..., xn}	x elementlari bilan o'rnatilgan1, x2, ..., xn	{xmen ∣ men ∈ Men}, qaerda Men indekslar to'plamini bildiradi
{ ∣ }	{x ∈ A ∣ p(x)}	ning ushbu elementlari to'plami A buning uchun taklif p(x) haqiqat	Misol: {x ∈ ℝ ∣ x > 5} ∈A ushbu to'plam kontekstdan aniq bo'lgan joyga tashlanishi mumkin.
karta	karta (A)	elementlarning soni A; kardinal A
∖	A ∖ B	orasidagi farq A va B; A minus B	Tegishli bo'lgan elementlar to'plami A lekin emas B. A ∖ B = { x ∣ x ∈ A ∧ x ∉ B } A − B ishlatilmasligi kerak.
∅		bo'sh to'plam
ℕ		to'plami natural sonlar; musbat tamsayılar to'plami va nol	B = {0, 1, 2, 3, ...} Nolni chiqarib tashlash an bilan belgilanadi yulduzcha: ℕ* = {1, 2, 3, ...} ℕk = {0, 1, 2, 3, ..., k − 1}
ℤ		to'plami butun sonlar	Ph = {..., -3, -2, -1, 0, 1, 2, 3, ...} ℤ* = ℤ ∖ {0} = {..., -3, -2, -1, 1, 2, 3, ...}
ℚ		to'plami ratsional sonlar	ℚ* = ℚ ∖ {0}
ℝ		to'plami haqiqiy raqamlar	ℝ* = ℝ ∖ {0}
ℂ		to'plami murakkab sonlar	ℂ* = ℂ ∖ {0}
[,]	[a,b]	ℝ dan yopiq oraliq a (kiritilgan) ga b (shu jumladan)	[a,b] = {x ∈ ℝ ∣ a ≤ x ≤ b}
],] (,]	]a,b] (a,b]	half dan chap yarim ochiq oraliq a (chiqarib tashlangan) ga b (shu jumladan)	]a,b] = {x ∈ ℝ ∣ a < x ≤ b}
[,[ [,)	[a,b[ [a,b)	ℝ dan o'ng yarim ochiq oraliq a (kiritilgan) ga b (chiqarib tashlangan)	[a,b[ = {x ∈ ℝ ∣ a ≤ x < b}
],[ (,)	]a,b[ (a,b)	ℝ dan ochiq oraliq a (chiqarib tashlangan) ga b (chiqarib tashlangan)	]a,b[ = {x ∈ ℝ ∣ a < x < b}
⊆	B ⊆ A	B tarkibiga kiritilgan A; B ning pastki qismi A	Ning har bir elementi B tegishli A. ⊂ ham ishlatiladi.
⊂	B ⊂ A	B to'g'ri kiritilgan A; B ning tegishli qismidir A	Ning har bir elementi B tegishli A, lekin B ga teng emas A. Agar ⊂ "kiritilgan" uchun ishlatilsa, u holda "to'g'ri kiritilgan" uchun ishlatilishi kerak.
⊈	C ⊈ A	C tarkibiga kiritilmagan A; C ning kichik qismi emas A	⊄ ham ishlatiladi.
⊇	A ⊇ B	A o'z ichiga oladi B (kichik guruh sifatida)	A ning har bir elementini o'z ichiga oladi B. ⊃ ham ishlatiladi. B ⊆ A bilan bir xil ma'noni anglatadi A ⊇ B.
⊃	A ⊃ B.	A o'z ichiga oladi B to'g'ri.	A ning har bir elementini o'z ichiga oladi B, lekin A ga teng emas B. Agar "kiritilgan" uchun ishlatilsa, u holda "to'g'ri kiritilgan" uchun ishlatilishi kerak.
⊉	A ⊉ C	A o'z ichiga olmaydi C (kichik guruh sifatida)	⊅ ham ishlatiladi. A ⊉ C bilan bir xil ma'noni anglatadi C ⊈ A.
∪	A ∪ B	ittifoqi A va B	Tegishli bo'lgan elementlar to'plami A yoki ga B yoki ikkalasiga ham A va B. A ∪ B = { x ∣ x ∈ A ∨ x ∈ B }
⋃	${ displaystyle bigcup _ {i = 1} ^ {n} A_ {i}}$	to'plamlar to'plamining birlashishi	${ displaystyle bigcup _ {i = 1} ^ {n} A_ {i} = A_ {1} kubok A_ {2} cup ldots cup A_ {n}}$, to'plamlarning kamida bittasiga tegishli elementlar to'plami A1, ..., An. ${ displaystyle bigcup {} _ {i = 1} ^ {n}}$ va ${ displaystyle bigcup _ {i in I}}$, ${ displaystyle bigcup {} _ {i in I}}$ shuningdek, qaerda ishlatiladi Men indekslar to'plamini bildiradi.
∩	A ∩ B	kesishmasi A va B	Ikkalasiga ham tegishli bo'lgan elementlar to'plami A va B. A ∩ B = { x ∣ x ∈ A ∧ x ∈ B }
⋂	${ displaystyle bigcap _ {i = 1} ^ {n} A_ {i}}$	to'plamlar to'plamining kesishishi	${ displaystyle bigcap _ {i = 1} ^ {n} A_ {i} = A_ {1} cap A_ {2} cap ldots cap A_ {n}}$, barcha to'plamlarga tegishli elementlar to'plami A1, ..., An. ${ displaystyle bigcap {} _ {i = 1} ^ {n}}$ va ${ displaystyle bigcap _ {i in I}}$, ${ displaystyle bigcap {} _ {i in I}}$ shuningdek, qaerda ishlatiladi Men indekslar to'plamini bildiradi.
∁	∁AB	pastki qismni to'ldiruvchi B ning A	Ushbu elementlarning to'plami A pastki qismga tegishli bo'lmagan B. Belgisi A to'plam bo'lsa, ko'pincha tashlab yuboriladi A kontekstdan aniq. Shuningdek, ∁AB = A ∖ B.
(,)	(a, b)	buyurtma qilingan juftlik a, b; er-xotin a, b	(a, b) = (v, d) agar va faqat agar a = v va b = d. ⟨a, b⟩ Ham ishlatiladi.
(,...,)	(a1, a2, ..., an)	buyurdi n-panjara	⟨a1, a2, ..., an⟩ Ham ishlatiladi.
×	A × B	kartezyen mahsuloti A va B	Buyurtma qilingan juftliklar to'plami (a, b) shu kabi a ∈ A va b ∈ B. A × B = { (a, b) ∣ a ∈ A ∧ b ∈ B } A × A × ⋯ × A bilan belgilanadi An, qayerda n mahsulotdagi omillar soni.
Δ	ΔA	juftliklar to'plami (a, a) ∈ A × A qayerda a ∈ A; to'plamning diagonali A × A	ΔA = { (a, a) ∣ a ∈ A } idA ham ishlatiladi.

Turli xil belgilar va belgilar

Imzo		Misol	Ma'nosi va og'zaki ekvivalenti	Izohlar
HTML	TeX
≝	${ displaystyle { stackrel { mathrm {def}} {=}}}$	a ≝ b	a ta'rifi bo'yicha tengdir b [2]	: = ham ishlatiladi
=	${ displaystyle =}$	a = b	a teng b	≡ ma'lum bir tenglik identifikatsiya ekanligini ta'kidlash uchun ishlatilishi mumkin.
≠	${ displaystyle neq}$	a ≠ b	a ga teng emas b	${ displaystyle a not equiv b}$ buni ta'kidlash uchun ishlatilishi mumkin a ga teng emas b.
≙	${ displaystyle { stackrel { wedge} {=}}}$	a ≙ b	a ga mos keladi b	1:10 da6 xarita: 1 sm ≙ 10 km.
≈	${ displaystyle approx}$	a ≈ b	a taxminan tengdir b	≃ belgisi "asimptotik jihatdan tengdir" uchun ajratilgan.
∼ ∝	${ displaystyle { begin {matrix} sim propto end {matrix}}}$	a ∼ b a ∝ b	a ga mutanosib b
<	${ displaystyle <}$	a < b	a dan kam b
>	${ displaystyle>}$	a > b	a dan katta b
≤	${ displaystyle leq}$	a ≤ b	a dan kam yoki tengdir b	≦ belgisi ham ishlatiladi.
≥	${ displaystyle geq}$	a ≥ b	a dan katta yoki tengdir b	≧ belgisi ham ishlatiladi.
≪	${ displaystyle ll}$	a ≪ b	a ga qaraganda ancha kam b
≫	${ displaystyle gg}$	a ≫ b	a dan kattaroqdir b
∞	${ displaystyle infty}$		cheksizlik
() [] {} ⟨⟩	${ displaystyle { begin {matrix} () {[]} {} langle rangle end {matrix}}}$	${ displaystyle { begin {matrix} {(a + b) c} {[a + b] c} { {a + b } c} { langle a + b rangle c } end {matrix}}}$	${ displaystyle ac + bc}$, qavslar ${ displaystyle ac + bc}$, kvadrat qavslar ${ displaystyle ac + bc}$, qavs ${ displaystyle ac + bc}$, burchakli qavs	Oddiy algebrada ${ displaystyle (), [], {}, langle rangle}$ uyalash tartibi standartlashtirilmagan. Maxsus foydalanish ${ displaystyle (), [], {}, langle rangle}$ alohida sohalarda.
∥	${ displaystyle |}$	AB ∥ CD	AB chizig'i CD chizig'iga parallel
⊥	${ displaystyle perp}$	${ displaystyle mathrm {AB perp CD}}$	AB chizig'i CD chizig'iga perpendikulyar[3]

Amaliyotlar

Vazifalar

Misol	Ma'nosi va og'zaki ekvivalenti	Izohlar
${ displaystyle f: D rightarrow C}$	funktsiya f domenga ega D. va kodomain C	Funktsiya domeni va kodomainini aniq belgilash uchun foydalaniladi.
${ displaystyle f chap (S o'ng)}$	${ displaystyle left {f left (x right) mid x in S right }}$	Kodomaindagi barcha mumkin bo'lgan natijalar to'plami S, domenining kichik to'plami f.
⋮

Eksponent va logarifmik funktsiyalar

Dairesel va giperbolik funktsiyalar

Murakkab raqamlar

Matritsalar

Koordinatali tizimlar

Koordinatalar	Joylashuv vektori va uning differentsiali	Koordinata tizimining nomi	Izohlar
x, y, z	${ displaystyle [xyz] = [xyz];}$ ${ displaystyle [dxdydz];}$	kartezian	x1, x2, x3 koordinatalari uchun va e1, e2, e3 asosiy vektorlar uchun ham foydalaniladi. Ushbu yozuv osonlikcha umumlashtiriladi n-hissiy bo'shliq. ex, ey, ez ortonormal o'ng qo'li tizimini shakllantirish. Asosiy vektorlar uchun, men, j, k ham ishlatiladi.
r, φ, z	${ displaystyle [x, y, z] = [ rho cos ( phi), rho sin ( phi), z]}$	silindrsimon	er(φ), eφ(φ), ez ortonormal o'ng qo'li tizimini shakllantirish. lf z= 0, keyin r va φ qutb koordinatalari.
r, θ, φ	${ displaystyle [x, y, z] = r [ sin ( theta) cos ( phi), sin ( theta) sin ( phi), cos ( theta)]}$	sferik	er(θ,φ), eθ(θ,φ),eφ(φ) ortonormal o'ng qo'li tizimini shakllantirish.

Vektorlar va tensorlar

Misol	Ma'nosi va og'zaki ekvivalenti	Izohlar
a ${ displaystyle { vec {a}}}$	vektor a	Kursiv o'rniga qalin yuz, vektorlarni harf belgisi ustidagi o'q bilan ham ko'rsatish mumkin. Har qanday vektor a ga ko'paytirilishi mumkin skalar k, ya'ni ka.
...	...	...
⋮

Maxsus funktsiyalar

Shuningdek qarang

• Matematik belgilar
• Matematik yozuvlar

Adabiyotlar va eslatmalar