Matematikte, özellikle küme teorisi ve fonksiyonların tanım kümeleri konularında sıkça karşılaştığımız bir terimdir. Bir aralığın bir ucunun dahil edilip diğer ucunun edilmediği durumu ifade eder.
Yarı açık aralık, bir ucu kapalı (o uçtaki sayı aralığa dahil) ve diğer ucu açık (o uçtaki sayı aralığa dahil değil) olan aralıklara verilen isimdir.
Örneğin, [a, b) şeklinde gösterilen bir aralık:
Bu aralık, a'dan b'ye kadar olan tüm sayıları kapsar, ancak b sayısı bu aralığın bir elemanı değildir.
Yarı açık aralık iki şekilde olabilir:
[a, b)
Bu aralık şu şekilde tanımlanır:
{ x | a ≤ x < b }
Yani, x, a'ya eşit veya a'dan büyük, ancak b'den kesinlikle küçük olan tüm reel sayılardır.
(a, b]
Bu aralık şu şekilde tanımlanır:
{ x | a < x ≤ b }
Yani, x, a'dan kesinlikle büyük ve b'ye eşit veya b'den küçük olan tüm reel sayılardır.
Aşağıdaki örnekleri inceleyelim:
Bu aralık 2, 3, 4 sayılarını içerir. 5 sayısını içermez. Yani:
[2, 5) = {2, 3, 4} (Sürekli bir doğru parçası olarak düşünürsek, 2'den 5'e kadar olan ama 5'i içermeyen tüm noktalar)
Bu aralık 0, 1, 2, 3 sayılarını içerir. -1 sayısını içermez. Yani:
(-1, 3] = {0, 1, 2, 3}
Yarı açık aralıklar, matematik ve programlamada birçok pratik avantaj sağlar:
[0, 10) ve [10, 20) aralıkları birleşince [0, 20) aralığını verir ve hiçbir sayı tekrar etmez veya arada boşluk kalmaz.[0, n) aralığı ile temsil edilebilir. Bu, programlamadaki "döngü" yapılarında standart bir yaklaşımdır.[10, 15) aralığını kullanırız.