Infimum dan supremum
dari elemen utama (resp. minoring) dari himpunan yang diurutkan sebagian (tidak harus ada di semua himpunan) / From Wikipedia, the free encyclopedia
Dalam matematika, infimum himpunan bagian dari himpunan terurut parsial
adalah anggota terbesar dalam
, yang lebih kecil dari atau sama dengan tiap-tiap anggota
, jika ada satu buah anggota.[1] Berdasarkan pengertian tersebut, infimum disebut batas bawah terbesar (bahasa Inggris: greatest lower bound), dan istilah itu umum digunakan.[1] Infimum disingkat sebagai "inf". Di sisi lain, supremum himpunan bagian dari himpunan terurut parsial
adalah anggota terkecil dalam
yang lebih kecil dari atau sama dengan tiap-tiap anggota
, jika terdapat anggotanya.[1] Berdasarkan pengertian lagi, supremum juga disebut sebagai batas atas terkecil (bahasa Inggris: least upper bound).[2] Supremum disingkat sebagai "sup".
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0a/Infimum_illustration.svg/250px-Infimum_illustration.svg.png)
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/c/ce/Supremum_illustration.svg/320px-Supremum_illustration.svg.png)
Infimum dan supremum dari bilangan real adalah kasus istimewa yang umum, yang penting dalam analisis matematika, khususnya dalam integrasi Lebesgue. Akan tetapi, definisi umum tetap valid dalam pengaturan teori order yang lebih abstrak
Komsep infimum dan supremum mirip seperti konsep minimum dan maksimum, tetapi konsep ini lebih berguna dalam analisis karena mereka memiliki himpunan-himpunan karakteristik spesial berbeda yang tidak memiliki minimum atau maksimum. Sebagai contoh, bilangan real positif , himpunan yang mengecualikan 0, tidak memiliki suatu minimum, karena dengan mudahnya setiap anggota
yang diberikan dapat dibagi menjadi dua bagian dalam suatu bilangan lebih kecil yang masih terdapat di
. Akan tetapi, terdapat satu buah infimum dari bilangan real positif: 0, bilangan yang lebih kecil daripada semua bilangan real positif, dan lebih besar daripada setiap bilangan real lainnya yang dapat digunakan sebagai batas bawah.