Kanıtı kapalı sınırlı ve açık sınırlı aralıklar için yapalım. Aralıkların sınırsız durumları sana bırakalım @yağmur_4848.
a<b koşulunu sağlayan her a,b∈R için [a,b]∼(a,b) olduğunun kanıtı bu linkte mevcut. Öte yandan a<b ve c<d koşulunu sağlayan her a,b,c,d∈R için (a,b)∼(c,d) olduğunu göstermek zor değil. Şöyle ki f(x):=((a,c) ve (b,d) noktasından geçen doğru denklemi) (bunu sen bulabilirsin) kuralı ile verilen f:(a,b)→(c,d) fonksiyonunun bijektif olduğunu göstermek çok kolay. Demek ki (a,b)∼(c,d). Kümelerin sayısal denk olma ilişkisi geçişken bir ilişki (kanıtı burada mevcut) olduğundan [a,b]∼(c,d) elde edilir. Yani kapalı ve sınırlı bir aralığın açık ve sınırlı bir aralığa denk olduğu sonucuna ulaşırız.
Aralıkların sınırlı olmadığı durumları da sen düşün @yağmur_4848.