Arada olma özelliği, matematikte, özellikle gerçel sayılar üzerinde tanımlanmış çok temel ve sezgisel bir özelliktir. Bu özellik, sayı doğrusu üzerindeki sayıların nasıl sıralandığını ifade eder.
İki farklı gerçel sayı alındığında, bu iki sayının arasında mutlaka başka bir gerçel sayı bulunabilir. Daha resmi bir ifadeyle:
\( a \) ve \( b \) birer gerçel sayı ve \( a < b \) olsun. Bu durumda,
\( a < c < b \)
eşitsizliğini sağlayan en az bir \( c \) gerçel sayısı vardır.
Bu özelliği somutlaştırmak için birkaç örnek verelim:
Arada olma özelliğinin çok önemli iki sonucu vardır:
İki sayı arasında bir sayı bulmanın en garantili ve genel yolu, bu iki sayının aritmetik ortalamasını almaktır.
\( a < b \) olmak üzere, \( c = \frac{a + b}{2} \) sayısı her zaman \( a \) ile \( b \) arasında yer alır. Çünkü \( a < b \) ise \( a + a < a + b \) ve \( a + b < b + b \) yazabiliriz. Bu da bize \( 2a < a+b < 2b \) verir. Her tarafı 2'ye bölersek \( a < \frac{a+b}{2} < b \) sonucuna ulaşırız.
Özetle, arada olma özelliği, gerçel sayılar sisteminin sürekliliğini ve bölünemez yapısını gösteren temel taşlardan biridir.