Vikipedio:Projekto matematiko/Supera baro

El Vikipedio

Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al
Supera baro
(eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi.

En matematiko, aparte en orda teorio, supera baro de subaro S de iu parte orda aro estas ero kiu estas pli granda ol aŭ egala al ĉiu ero de S. La (termo, membro, flanko, termino) suba baro estas difinita duale.

Formale, donita parte orda aro (P, ≤), ero u de P estas supera baro de subaro S de P, se

s ≤ u, por ĉiuj eroj s de S.

Uzanta ≥ anstataŭ ≤ (plumboj, plumbas, kondukas) al la duala difino de suba baro de S.

Klare, subaro de parte orda aro (majo, povas) manki al havi (ĉiu, iu) superaj baroj. Konsideri ekzemple la subaro de la naturaj nombroj kiu estas pli granda ol donita natura nombro. Aliflanke, aro (majo, povas) havi multaj malsama supra kaj subaj baroj, kaj de ĉi tie unu estas kutime (interezita, interesita) en (pikanta, prenanta) ekster specifaj eroj de la aroj de supra aŭ subaj baroj. Ĉi tiu (plumboj, plumbas, kondukas) al la konsidero de supremoj (aŭ precizaj supraj randoj) kaj infimoj (aŭ _infima_). Alia speciala speco de (plej malgranda) superaj baroj estas (plej granda, plej granda) eroj.

Speciala situacio faras okazi kiam subaro estas egala al la aro de subaj baroj de ĝia posedi aro de superaj baroj. Ĉi tiu observado (plumboj, plumbas, kondukas) al la difino de Dedekindaj tranĉoj.

Plui komencdira informo estas fundamenti en la artikolo sur (mendi, ordo) teorio.

[redaktu] (Baroj, Baras) de funkcioj

La (difinoj, difinas) povas esti ĝeneraligita al aroj de funkcioj.

Estu S esti aro de funkcioj $S=\{f_1(\cdot), f_2(\cdot), \dots\}$ , kun domajno F kaj havanta parte orda aro kiel celo-aro.

Funkcio $g(\cdot)$ kun domajno $G \supseteq F$ estas supera baro de S se $f_i(x) \le g(x)$ por ĉiu funkcio $f_i(\cdot)$ en la aro kaj por ĉiu x en F.

En aparta, $g(\cdot)$ estas dirita al esti supera baro de $f(\cdot)$ kiam S konsistas de nur unu funkcio $f(\cdot)$ (kio estas S estas _singleton_). (Tononomo, Noto, Noti) (tiu, ke, kiu) ĉi tiu ne enhavi (tiu, ke, kiu) $f(\cdot)$ estas suba baro de $g(\cdot)$ .

Elŝutita el "http://eo.wikipedia.org../../../p/r/o/Vikipedio%7EProjekto_matematiko_Supera_baro_d98b.html"

Kategorioj: Artikoloj por polurado kaj movo | Orda teorio

Vikipedio:Projekto matematiko/Supera baro

El Vikipedio

[redaktu] (Baroj, Baras) de funkcioj

Views

Navigado

Serĉu

Aliaj lingvoj