Sınırlı küme

Matematikte, özellikle analizde, elemenlarının birbirinden uzaklığının sabit bir sayıdan küçük olduğu kümelere sınırlı kümeler denilir. Sınırlı olmayan bir kümeye ise sınırsız küme denir.

Verilen bir küme hakkında sınırlılıktan bahsetmek için bu kümenin üzerinde tanımlı bir , diğer deyişle, bir metrikten bahsetmek gerekecektir. Bu sebeple, kümeler için sınırlılık kavramı, üzerinde iyi-tanımlı bir metrik olmayan herhangi bir topolojik uzay için geçerli olmaz.

ise başka bir kavramdır ve işaret eder. Sınırlı bir kümenin topolojik sınırı olmayabilir. Örneğin, birim çemberin topolojik sınırı yoktur ama bütün elemanlarının büyüklüğü bire eşit olduğu için sınırlı bir kümedir. Başka bir örnek ise ters yönde verilebilir. Örneğin, ${\displaystyle \mathbb {R} ^{2}}$deki üst topolojik sınırı, gerçel sayılar doğrusudur; yâni, topolojik sınırı vardır. Ancak, üst yarı düzlem sınırsız bir kümedir.

Sınırlı bir küme olmak zorunda değildir veya her kapalı küme sınırlı bir küme olmak zorunda değildir.

Tanım

Gerçel kümeler için tanım

Gerçel sayıların bir altkümesi ${\displaystyle S}$ verilmiş olsun.

Üstten sınırlılık

${\displaystyle S}$deki tüm ${\displaystyle s}$ değerleri için ${\displaystyle k\geq s}$ olacak şekilde bir ${\displaystyle k}$ gerçel sayısı varsa, ${\displaystyle S}$ kümesine üstten sınırlı ya da yukarıdan sınırlı denir. Tanımdaki ${\displaystyle k}$ gerçel sayısına ise ${\displaystyle S}$nin üst sınırı denir. Tanımdaki önemli bir nokta, ${\displaystyle k}$ sayısının ${\displaystyle S}$ kümesinin elemanı olmak zorunda olmamasıdır. Başka bir önemli nokta ise, bir kümenin tek bir üst sınırının olmayabileceğidir. Örneğin,

• ${\displaystyle S:=(0,1)}$ kümesinin bütün elemanları ${\displaystyle 2}$'den küçüktür. Bu yüzden, ${\displaystyle 2}$ ${\displaystyle S}$ kümesinin üst sınırıdır. Ancak, ${\displaystyle (0,1)}$ kümesinin bütün elemanları ${\displaystyle 1}$'den de küçüktür. Bu yüzden, ${\displaystyle 1}$ de ${\displaystyle S}$ kümesinin üst sınırıdır. Her iki üst sınır da ${\displaystyle S}$ kümesinin elemanı değildir.
• ${\displaystyle S:=(0,1]}$ kümesinin bütün elemanları ${\displaystyle 2}$'den küçüktür. Bu yüzden, ${\displaystyle 2}$ ${\displaystyle S}$ kümesinin üst sınırıdır ve kümenin elemanı değildir. Ancak, ${\displaystyle (0,1]}$ kümesinin bütün elemanları ${\displaystyle 1}$'den de küçük veya 1'e eşittir. Bu yüzden, ${\displaystyle 1}$ de ${\displaystyle S}$ kümesinin üst sınırıdır ve 1 kümenin elemanıdır.
• ${\displaystyle S:=(0,\infty )}$ kümesi üstten sınırlı değildir.

Alttan sınırlılık

${\displaystyle S}$deki tüm ${\displaystyle s}$ değerleri için ${\displaystyle k\leq s}$ olacak şekilde bir ${\displaystyle k}$ gerçel sayısı varsa, ${\displaystyle S}$ kümesine alttan sınırlı ya da aşağıdan sınırlı denir. Tanımdaki ${\displaystyle k}$ gerçel sayısına ise ${\displaystyle S}$nin alt sınırı denir. Örneğin,

• ${\displaystyle S:=(0,1)}$ kümesinin bütün elemanları ${\displaystyle -1}$'den büyüktür. Bu yüzden, ${\displaystyle -1}$ ${\displaystyle S}$ kümesinin alt sınırıdır. Ancak, ${\displaystyle (0,1)}$ kümesinin bütün elemanları ${\displaystyle 0}$'dan de büyüktür. Bu yüzden, ${\displaystyle 0}$ da ${\displaystyle S}$ kümesinin alt sınırıdır. Her iki alt sınır da ${\displaystyle S}$ kümesinin elemanı değildir.
• ${\displaystyle S:=[0,1)}$ kümesinin bütün elemanları ${\displaystyle -1}$'den büyüktür. Bu yüzden, ${\displaystyle -1}$ ${\displaystyle S}$ kümesinin alt sınırıdır ve kümenin elemanı değildir. Ancak, ${\displaystyle [0,1)}$ kümesinin bütün elemanları ${\displaystyle 0}$'dan büyük veya 0'a eşittir. Bu yüzden, ${\displaystyle 0}$ de ${\displaystyle S}$ kümesinin alt sınırıdır ve 0 kümenin elemanıdır.
• ${\displaystyle S:=(-\infty ,0)}$ kümesi alttan sınırlı değildir.

Sınırlılık

Gerçel sayıların bir altkümesine, eğer bu küme hem alttan hem de üstten sınırlı ise, sınırlı küme denir.

Metrik uzaylarda tanım

${\displaystyle (M,d)}$ bir metrik uzay olsun ve ${\displaystyle S}$ metrik uzayın bir alt kümesi olsun. Eğer ${\displaystyle S}$'deki tüm ${\displaystyle s,t}$ için ${\displaystyle d(s,t)<r}$ olacak şekilde bir ${\displaystyle r>0}$ varsa ${\displaystyle S}$ kümesi ${\displaystyle M}$ içinde sınırlıdır. Eğer ${\displaystyle M}$ kendinin altkümesi olarak sınırlı bir küme ise, ${\displaystyle (M,d)}$ye sınırlı metrik uzay ya da ${\displaystyle d}$ sınırlı metriktir denir.

• metrik uzaylar aynı zamanda sınırlıdır. ${\displaystyle \mathbb {R} ^{n}}$ için tümüyle sınırlılık ve sınırlılık birbirine denk kavramlardır.
• Bir metrik uzayın olması için bu uzayın hem tam uzay hem de olması gerekli ve yeterlidir.
• Öklid uzayı ${\displaystyle \mathbb {R} ^{n}}$ nin bir altkümesinin tıkızlığı için bu kümenin hem kapalı hem de sınırlı olması gerekir. Bu sonuç, olarak bilinir.

Topolojik vektör uzaylarında tanım

, sınırlı kümeler için, bazen olarak da adlandırılan, farklı bir tanım vardır. Topolojik vektör uzayının topolojisi, normlu vektör uzaylarının normu tarafından oluşturulan bir metrik durumunda olduğu gibi, homojen olan bir metrik tarafından oluşturuluyorsa o zaman iki tanım aynıdır.

Sıra teorisinde sınırlılık

Gerçel sayıların bir altkümesi, ancak ve ancak bu kümenin bir üst ve alt sınırı varsa sınırlıdır. Bu tanım, kısmî sıralı herhangi bir kümenin alt kümeleri için de alınabilir. Burada not edilmesi gereken, bu daha genel sınırlılık kavramının "boyut" kavramına karşılık gelmediğidir.

S, kısmî sıralı bir P kümesinin bir altkümesi olsun. Eğer, Sdeki tüm s elemanları için k ≥ s olacak şekilde P 'de bir k varsa, o zaman Sye üstten sınırlı denir. k elemanına Snin üst sınırı denir. Alttan sınırlı ve alt sınır tanımları benzer bir şekilde tanımlanır. (Ayrıca bkz: Üst ve alt sınır)

S, kısmî sıralı bir P kümesinin bir altkümesi olsun. Eğer Snin hem üst hem de alt sınırı varsa, o zaman S sınırlı olarak adlandırılır.

Ayrıca bakınız

• Sınırlı bölge
• Sınırlı fonksiyon
• Sıra teorisi

Kaynakça

1. ^ Zafer Ercan. Topoloji (PDF). ODTÜ Geliştirme Vakfı Yayıncılık. ss. 301-302. ISBN . Erişim tarihi: 25 Kasım 2024. Teorem 11.5e bakınız