Intervalo (matematiko): Malsamoj inter versioj

[nekontrolita versio]

← Iru al antaŭa ŝanĝo Iru al sekvanta ŝanĝo →

Enhavo forigita Enhavo aldonita

Enteksta

Kiel registrite je 05:13, 30 jul. 2008

Intervalo estas subaro de partorda aro kiu entenas inter komenco kaj fino (komenco kaj fino estas selektata elementoj de aro).

Formalaj difinoj

Estu $(X,\preccurlyeq )$ partorada aro kaj estu $-\infty ,\infty$ du objektoj ne entenas en $X$ . Dilatu ordo $\preccurlyeq$ ĝis $X\cup \{-\infty ,\infty \}$ tiel, por ke elemento $\infty$ estis plej granda ol ĉiaj aliaj elementoj el aro $X$ , kaj elemento $-\infty$ malplej granda ol ĉiaj aliaj elementoj de aro $X$ .

Por $x,y\in X\cup \{-\infty ,\infty \}$ tiel, ke $x\prec y$ oni definas sekvajn aroj, kiuj nomas intervalo, kiuj estas difinata per $x,y$ :

$(x,y)=:\{z\in X:x\prec z\prec y\}$ – malferma intervalo,
$[x,y)=:\{z\in X:x\preccurlyeq z\prec y\}$ – maldekstra ferma intervalo (dekstra malferma intervalo),
$[x,y]=:\{z\in X:x\preccurlyeq z\preccurlyeq y\}$ – ferma intervalo (duobla ferma),
$(x,y]=:\{z\in X:x\prec z\preccurlyeq y\}$ – dekstra ferma intervalo (maldekstra malferma ).

Kelkaj aŭtoroj uzas formon $(x,y)_{X}$ , $[x,y]_{X}$ ktp. por signi, ke intervalo estas en difina ordo. Foje anstataŭ $[x,y]$ oni skribas $\langle x,y\rangle$ kaj analogie por unuflankaj intervaloj.

Rimarku, ke signifo de intervalo $(x,y)$ kaj $\langle x,y\rangle$ oni povas erari kun signifo de orda duopo.

Internacia normo ISO31-11 difinas sekvajn signifojn: $x,y$ :

$]x,y[=:\{z\in X:x\prec z\prec y\}$ ,
$[x,y[=:\{z\in X:x\preccurlyeq z\prec y\}$ ,
$[x,y]=:\{z\in X:x\preccurlyeq z\preccurlyeq y\}$ ,
$]x,y]=:\{z\in X:x\prec z\preccurlyeq y\}$ .

Uzato de punktokomo ĉu komo estas dependa manieron de signifo de dekuma bazo.

Ecoj

Plej ofte en intervalo estas uzata lineara ordo, do en ĉi tiu ordo intervalo havas sekvajn ecojn:

Komunaĵo de du intervaloj estas intervalo.
Komplemento de intervalo estas intervalo aŭ kunaĵo du aroj.
Kunaĵo de du aroj, kiuj havas malnulan komunaĵon estas intervalo.
Malfermaj intervaloj en X kreas bazo de ia topologio en X

@@ Linio 2: / Linio 2: @@
 == Formalaj difinoj ==
-Estu <math>(X,\preccurlyeq)</math> partorada aro kaj estu <math>-\infty,\infty</math> du objektoj ne entenas en  <math>X</math>.
+Estu <math>(X,\preccurlyeq)</math> partorada aro kaj estu <math>-\infty,\infty</math> du objektoj ne entenas en <math>X</math>.
-Dilatu ordo  <math>\preccurlyeq</math> ĝis <math>X\cup\{-\infty,\infty\}</math>
+Dilatu ordo <math>\preccurlyeq</math> ĝis <math>X\cup\{-\infty,\infty\}</math>
 tiel, por ke elemento <math>\infty</math> estis plej granda ol ĉiaj aliaj elementoj el aro <math>X</math>, kaj elemento <math>-\infty</math> malplej granda ol ĉiaj aliaj elementoj de aro <math>X</math>.
@@ Linio 12: / Linio 12: @@
 *<math>(x,y]=:\{z\in X: x\prec z \preccurlyeq y\}</math> – '''dekstra ferma intervalo''' (maldekstra malferma ).
-Kelkaj aŭtoroj uzas formon  <math>(x,y)_X</math>, <math>[x,y]_X</math> ktp. por signi, ke intervalo estas en difina ordo. Foje anstataŭ <math>[x,y]</math> oni skribas  <math>\langle x,y\rangle</math> kaj analogie por unuflankaj intervaloj.
+Kelkaj aŭtoroj uzas formon <math>(x,y)_X</math>, <math>[x,y]_X</math> ktp. por signi, ke intervalo estas en difina ordo. Foje anstataŭ <math>[x,y]</math> oni skribas <math>\langle x,y\rangle</math> kaj analogie por unuflankaj intervaloj.
 '''Rimarku''', ke signifo de intervalo <math>(x,y)</math> kaj <math>\langle x,y\rangle</math> oni povas erari kun signifo de [[orda duopo]].
-Internacia normo  ISO31-11 difinas sekvajn signifojn:
+Internacia normo ISO31-11 difinas sekvajn signifojn:
 <math>x,y</math>:
 *<math>]x,y[=:\{z\in X: x \prec z \prec y\}</math> ,
@@ Linio 23: / Linio 23: @@
 *<math>]x,y]=:\{z\in X: x\prec z \preccurlyeq y\}</math> .
-Uzato de  punktokomo ĉu komo estas dependa manieron de signifo de [[dekuma bazo]].
+Uzato de punktokomo ĉu komo estas dependa manieron de signifo de [[dekuma bazo]].
 == Ecoj ==
@@ Linio 59: / Linio 59: @@
 [[vi:Khoảng (toán học)]]
 [[zh:區間]]
+[[zh-classical:區間]]