Genişletilmiş gerçek sayı doğrusu - Extended real number line - Wikipedia

İçinde matematik, afin bir şekilde genişletilmiş gerçek sayı sistemi -den elde edilir gerçek Numara sistemi ${ displaystyle mathbb {R}}$ iki öğe ekleyerek: ${ displaystyle + infty}$ ve ${ displaystyle - infty}$ (olarak oku pozitif sonsuzluk ve negatif sonsuzluk sırasıyla), burada sonsuzluklar gerçek sayılar olarak kabul edilir.^[1] Cebiri sonsuzluklar ve çeşitli sınırlayıcı davranışlar içinde hesap ve matematiksel analiz özellikle teorisinde ölçü ve entegrasyon.^[2] Afin bir şekilde genişletilmiş gerçek sayı sistemi gösterilir ${ displaystyle { overline { mathbb {R}}}}$ veya ${ displaystyle [- infty, + infty]}$ veya ${ displaystyle mathbb {R} cup {- infty, + infty }}$ .^[3]

Anlam bağlamdan anlaşıldığında, sembol ${ displaystyle + infty}$ genellikle basitçe şöyle yazılır ${ displaystyle infty}$ .^[3]

Motivasyon

Limitler

Bir işlevin davranışını tanımlamak genellikle yararlıdır ${ displaystyle f (x)}$ argüman olarak ${ displaystyle x}$ veya fonksiyon değeri ${ displaystyle f (x)}$ bir anlamda "sonsuz büyüklükte" olur. Örneğin, işlevi düşünün

{ displaystyle f (x) = x ^ {- 2}.}

Bu fonksiyonun grafiğinde yatay bir asimptot y = 0'da. Geometrik olarak, yol boyunca giderek sağa doğru ilerlerken ${ displaystyle x}$ -axis, değeri ${ displaystyle textstyle { frac {1} {x ^ {2}}}}$ 0'a yaklaşır. Bu sınırlayıcı davranış, bir fonksiyonun sınırı bir gerçek Numara gerçek sayı olmaması dışında ${ displaystyle x}$ yaklaşımlar.

Elemanları birleştirerek ${ displaystyle + infty}$ ve ${ displaystyle - infty}$ -e ${ displaystyle mathbb {R}}$ , bir "sonsuzda sınır" formülasyonunu mümkün kılar. topolojik için olanlara benzer özellikler ${ displaystyle mathbb {R}}$ .

İşleri tamamen resmi hale getirmek için Cauchy dizileri tanımı nın-nin ${ displaystyle mathbb {R}}$ tanımlamaya izin verir ${ displaystyle + infty}$ tüm dizilerin seti olarak ${ displaystyle {a_ {n} }}$ rasyonel sayılar, öyle ki her ${ displaystyle M in mathbb {R}}$ karşılık gelen bir ${ displaystyle N in mathbb {N}}$ hangisi için ${ displaystyle a_ {n}> M}$ hepsi için ${ displaystyle n> N}$ . Tanımı ${ displaystyle - infty}$ benzer şekilde inşa edilebilir.

Ölçün ve entegrasyon

İçinde teori ölçmek, sonsuz ölçüye sahip kümelere ve değeri sonsuz olabilen integrallere izin vermek genellikle yararlıdır.

Bu tür önlemler doğal olarak kalkülüsten ortaya çıkar. Örneğin, bir ölçü -e ${ displaystyle mathbb {R}}$ olağan aralık uzunluğuna uygunsa, bu ölçü herhangi bir sonlu gerçek sayıdan daha büyük olmalıdır. Ayrıca, düşünürken uygunsuz integraller, gibi

{ displaystyle int _ {1} ^ { infty} { frac {dx} {x}}}

"sonsuzluk" değeri ortaya çıkar. Son olarak, bir dizi işlevin sınırını göz önünde bulundurmak genellikle yararlıdır.

{ displaystyle f_ {n} (x) = { başla {vakalar} 2n (1-nx) ve { mbox {if}} 0 leq x leq { frac {1} {n}} 0 ve { mbox {if}} { frac {1} {n}}

Fonksiyonların sonsuz değerler almasına izin vermeden, monoton yakınsaklık teoremi ve hakim yakınsama teoremi mantıklı olmaz.

Sıra ve topolojik özellikler

Afin bir şekilde genişletilmiş gerçek sayı sistemi bir tamamen sıralı set, tanımlayarak ${ displaystyle - infty leq a leq + infty}$ hepsi için ${ displaystyle a}$ . Bununla sipariş topolojisi, ${ displaystyle { overline { mathbb {R}}}}$ arzu edilen özelliğe sahiptir kompaktlık: her alt kümesi ${ displaystyle { overline { mathbb {R}}}}$ var üstünlük ve bir infimum^[4] (boş setin alt sınırı ${ displaystyle + infty,}$ ve onun üstünlüğü ${ displaystyle - infty}$ ). Üstelik bu topoloji ile, ${ displaystyle { overline { mathbb {R}}}}$ dır-dir homomorfik için birim aralığı ${ displaystyle [0,1]}$ . Dolayısıyla topoloji ölçülebilir, bu aralıktaki sıradan ölçüye karşılık gelen (belirli bir homeomorfizm için). Sıradan metriğin uzantısı olan bir metrik yoktur. ${ displaystyle mathbb {R}}$ .

Bu topolojide bir küme ${ displaystyle U}$ bir Semt nın-nin ${ displaystyle + infty}$ , ancak ve ancak bir set içeriyorsa ${ displaystyle {x: x> a }}$ gerçek bir numara için ${ displaystyle a}$ . Mahalle kavramı ${ displaystyle - infty}$ benzer şekilde tanımlanabilir. Genişletilmiş gerçek mahallelerin bu karakterizasyonunu kullanarak, özel olarak tanımlanmış limitler için ${ displaystyle x}$ eğiliminde ${ displaystyle + infty}$ ve ${ displaystyle - infty}$ ve özel olarak tanımlanmış limit kavramları ${ displaystyle + infty}$ ve ${ displaystyle - infty}$ , limitlerin genel topolojik tanımına indirgemek.

Aritmetik işlemler

Aritmetik işlemleri ${ displaystyle mathbb {R}}$ kısmen uzatılabilir ${ displaystyle { overline { mathbb {R}}}}$ aşağıdaki gibi:^[3]

{ displaystyle { başlar {hizalı} a + infty = + infty + a & = + infty, & a & neq - infty a- infty = - infty + a & = - infty ve a & neq + infty a cdot ( pm infty) = pm infty cdot a & = pm infty ve a & in (0, + infty] a cdot ( pm infty) = pm infty cdot a & = mp infty, & a & in [- infty, 0) { frac {a} { pm infty}} & = 0, & a & in mathbb {R} { frac { pm infty} {a}} & = pm infty, & a & in (0, + infty) { frac { pm infty} {a}} & = mp infty ve a & in (- infty, 0) end {hizalı}}}

Üs alma için bkz. Üs alma # Kuvvetlerin sınırları. Buraya, " ${ displaystyle a + infty}$ "ikisi de demektir" ${ displaystyle a + (+ infty)}$ " ve " ${ displaystyle a - (- infty)}$ ", süre " ${ displaystyle a- infty}$ "ikisi de demektir" ${ displaystyle a - (+ infty)}$ " ve " ${ displaystyle a + (- infty)}$ ".

İfadeler ${ displaystyle infty - infty, 0 times ( pm infty)}$ ve ${ displaystyle pm infty / pm infty}$ (aranan belirsiz formlar ) genellikle bırakılır Tanımsız. Bu kurallar, aşağıdaki kanunlara göre modellenmiştir: sonsuz sınırlar. Bununla birlikte, olasılık veya ölçü teorisi bağlamında, ${ displaystyle 0 times pm infty}$ genellikle şu şekilde tanımlanır: ${ displaystyle 0}$ .^[5]

Hem pozitif hem de negatif genişletilmiş gerçek sayılarla uğraşırken, ifade ${ displaystyle 1/0}$ genellikle tanımsız bırakılır çünkü sıfırdan farklı her gerçek dizi için ${ displaystyle f}$ yakınsayan ${ displaystyle 0}$ karşılıklı sıra ${ displaystyle 1 / f}$ sonunda her mahallede bulunur ${ displaystyle { infty, - infty }}$ , bu değil doğru ki sıra ${ displaystyle 1 / f}$ kendisi ikisine de yakınlaşmalı ${ displaystyle - infty}$ veya ${ displaystyle infty}$ . Başka bir yol söylediyse sürekli işlev ${ displaystyle f}$ belirli bir değerde sıfıra ulaşır ${ displaystyle x_ {0}}$ , o zaman böyle olması gerekmez ${ displaystyle 1 / f}$ ikisine de eğilimlidir ${ displaystyle - infty}$ veya ${ displaystyle infty}$ sınırda ${ displaystyle x}$ eğilimi ${ displaystyle x_ {0}}$ . Bu, kimlik işlevi ${ displaystyle f (x) = x}$ ne zaman ${ displaystyle x}$ 0 eğilimi ve ${ displaystyle f (x) = x ^ {2} sin (1 / x)}$ (ikinci işlev için de ${ displaystyle - infty}$ ne de ${ displaystyle infty}$ sınırı ${ displaystyle 1 / f (x),}$ sadece pozitif değerler olsa bile $x$ dikkate alındı).

Bununla birlikte, yalnızca negatif olmayan değerlerin dikkate alındığı bağlamlarda, genellikle ${ displaystyle 1/0 = + infty}$ . Örneğin, kuvvet serileriyle çalışırken, yakınsama yarıçapı bir güç serisi katsayılarla ${ displaystyle a_ {n}}$ genellikle dizinin limit-üstünlüğünün tersi olarak tanımlanır ${ displaystyle {| a_ {n} | ^ {1 / n} }}$ . Böylece, biri izin verirse ${ displaystyle 1/0}$ değeri almak ${ displaystyle + infty}$ , o zaman bu formül limit üstünlüğünün olup olmadığına bakılmaksızın kullanılabilir. ${ displaystyle 0}$ ya da değil.

Cebirsel özellikler

Bu tanımlarla, ${ displaystyle { overline { mathbb {R}}}}$ dır-dir değil hatta bir yarı grup, bırak grup, bir yüzük veya a alan durumunda olduğu gibi ${ displaystyle mathbb {R}}$ . Bununla birlikte, birkaç uygun özelliği vardır:

${ displaystyle a + (b + c)}$ ve ${ displaystyle (a + b) + c}$ ya eşittir ya da tanımsızdır.
${ displaystyle a + b}$ ve ${ displaystyle b + a}$ ya eşittir ya da tanımsızdır.
${ displaystyle a cdot (b cdot c)}$ ve ${ displaystyle (a cdot b) cdot c}$ ya eşittir ya da tanımsızdır.
${ displaystyle a cdot b}$ ve ${ displaystyle b cdot a}$ ya eşit ya da tanımsız
${ displaystyle a cdot (b + c)}$ ve ${ displaystyle (a cdot b) + (a cdot c)}$ her ikisi de tanımlanmışsa eşittir.
Eğer ${ displaystyle a leq b}$ ve eğer ikisi de ${ displaystyle a + c}$ ve ${ displaystyle b + c}$ tanımlanır, sonra ${ displaystyle a + c leq b + c}$ .
Eğer ${ displaystyle a leq b}$ ve ${ displaystyle c> 0}$ ve eğer ikisi de ${ displaystyle a cdot c}$ ve ${ displaystyle b cdot c}$ tanımlanır, sonra ${ displaystyle a cdot c leq b cdot c}$ .

Genel olarak, tüm aritmetik yasaları geçerlidir ${ displaystyle { overline { mathbb {R}}}}$ - meydana gelen tüm ifadeler tanımlandığı sürece.

Çeşitli

Birkaç fonksiyonlar olabilir devamlı olarak genişletilmiş ${ displaystyle { overline { mathbb {R}}}}$ sınırlar alarak. Örneğin, aşağıdaki işlevlerin uç noktaları şu şekilde tanımlanabilir: ${ displaystyle exp (- infty) = 0, ln (0) = - infty, tanh ( pm infty) = pm 1, arctan ( pm infty) = pm { frac { pi} {2}}}$

Biraz tekillikler ek olarak kaldırılabilir. Örneğin, işlev ${ displaystyle 1 / x ^ {2}}$ sürekli olarak genişletilebilir ${ displaystyle { overline { mathbb {R}}}}$ (altında biraz süreklilik tanımları), değeri olarak ayarlayarak ${ displaystyle + infty}$ için ${ displaystyle x = 0}$ , ve ${ displaystyle 0}$ için ${ displaystyle x = + infty}$ ve ${ displaystyle x = - infty}$ . Öte yandan, işlev ${ displaystyle 1 / x}$ Yapabilmek değil sürekli genişletilebilir, çünkü işlev yaklaşır ${ displaystyle - infty}$ gibi ${ displaystyle x}$ yaklaşımlar ${ displaystyle 0}$ aşağıdan ve ${ displaystyle + infty}$ gibi ${ displaystyle x}$ yaklaşımlar ${ displaystyle 0}$ yukardan.

Benzer ama farklı bir gerçek hat sistemi olan projektif olarak genişletilmiş gerçek çizgi, arasında ayrım yapmaz ${ displaystyle + infty}$ ve ${ displaystyle - infty}$ (yani sonsuzluk işaretsizdir).^[6] Sonuç olarak, bir işlevin sınırı olabilir ${ displaystyle infty}$ projeksiyonel olarak genişletilmiş gerçek çizgi üzerinde, yakın bir şekilde genişletilmiş gerçek sayı sisteminde ise, sadece fonksiyonun mutlak değerinin bir sınırı vardır, ör. işlev durumunda ${ displaystyle 1 / x}$ -de ${ displaystyle x = 0}$ . Diğer taraftan

{ displaystyle lim _ {x - infty} {f (x)}}

ve

{ displaystyle lim _ {x ila + infty} {f (x)}}

yansıtmalı olarak genişletilmiş gerçek çizgi üzerinde sırasıyla sağdan ve soldan bir sınıra karşılık gelir; tam sınır, yalnızca ikisi eşit olduğunda mevcuttur. Böylece fonksiyonlar ${ displaystyle e ^ {x}}$ ve ${ displaystyle arctan (x)}$ sürekli yapılamaz ${ displaystyle x = infty}$ projektif olarak genişletilmiş gerçek çizgide.

Ayrıca bakınız

Projeksiyonla genişletilmiş gerçek hat
Sıfıra bölüm
Genişletilmiş karmaşık düzlem
Uygun olmayan integral
Sonsuzluk
Seri (matematik)
Günlük yarı bağlantı
Genişletilmiş gerçek sayıların bilgisayar temsilleri, bkz. Kayan nokta aritmetiği § Sonsuzluklar ve IEEE kayan nokta

Referanslar

^ "Yüksek Matematik Jargonunun Kesin Sözlüğü - Sonsuz". Matematik Kasası. 2019-08-01. Alındı 2019-12-03.
^ Wilkins, David (2007). "Bölüm 6: Genişletilmiş Gerçek Sayı Sistemi" (PDF). maths.tcd.ie. Alındı 2019-12-03.
^ ^a ^b ^c Weisstein, Eric W. "Yakın Şekilde Genişletilmiş Gerçek Sayılar". mathworld.wolfram.com. Alındı 2019-12-03.
^ Oden, J. Tinsley; Demkowicz, Leszek (16 Ocak 2018). Uygulamalı Fonksiyonel Analiz (3 ed.). Chapman ve Hall / CRC. s. 74. ISBN 9781498761147. Alındı 8 Aralık 2019.
^ "nLab'de genişletilmiş gerçek sayı". ncatlab.org. Alındı 2019-12-03.
^ Weisstein, Eric W. "Projeksiyonla Genişletilmiş Gerçek Sayılar". mathworld.wolfram.com. Alındı 2019-12-03.

daha fazla okuma

Aliprantis, Charalambos D .; Burkinshaw Owen (1998), Gerçek Analiz İlkeleri (3. baskı), San Diego, CA: Academic Press, Inc., s. 29, ISBN 0-12-050257-7, BAY 1669668
David W. Cantrell. "Yakın Şekilde Genişletilmiş Gerçek Sayılar". MathWorld.

[1] "Yüksek Matematik Jargonunun Kesin Sözlüğü - Sonsuz". Matematik Kasası. 2019-08-01. Alındı 2019-12-03.

[2] Wilkins, David (2007). "Bölüm 6: Genişletilmiş Gerçek Sayı Sistemi" (PDF). maths.tcd.ie. Alındı 2019-12-03.

[:0-3] Weisstein, Eric W. "Yakın Şekilde Genişletilmiş Gerçek Sayılar". mathworld.wolfram.com. Alındı 2019-12-03.

[4] Oden, J. Tinsley; Demkowicz, Leszek (16 Ocak 2018). Uygulamalı Fonksiyonel Analiz (3 ed.). Chapman ve Hall / CRC. s. 74. ISBN 9781498761147. Alındı 8 Aralık 2019.

[5] "nLab'de genişletilmiş gerçek sayı". ncatlab.org. Alındı 2019-12-03.

[6] Weisstein, Eric W. "Projeksiyonla Genişletilmiş Gerçek Sayılar". mathworld.wolfram.com. Alındı 2019-12-03.

[1]

[2]

[3]

[4]

[5]

[6]