TUGAS MANDIRI GEOMETRI

TERJEMAHAN BUKU HALAMAN 28-33 DAN 94-117

DOSEN PENGAMPU: Drs. Sakur, M.Ed

NAMA ANGGOTA KELOMPOK 2 :

MEI SARAH HANA NAINGGOLAN 1805112941

NADYATI PUTRI 1805113379
NORZILAWATI 1805195441
NURUL HIDAYAH 1805110501
SOFIE FIRDAYANA 1805124279

PROGRAM STUDI PENDIDIKAN MATEMATIKA

FAKULTAS KEGURUAN DAN ILMU PENDIDIKAN
UNIVERSITAS RIAU
2019
1.7 Himpunan Aksioma untuk Geometri Euclidean

Sekarang setelah anda mempelajari himpunan aksioma untuk beberapa geometri terbatas,
mari kita ambil contoh aksioma untuk geometri Euctidean dan pada beberapa ide yang melibatkan
semua himpunan aksioma.

Masalah utama dalam geometri selama 2000 tahun adalah bagaimana untuk memberikan
seperangkat aksioma yang memadai untuk geometri Euctidean. Beberapa himpunan aksioma
seperti itu dibahas di bagian ini, dan anda harus terbiasa dengan himpunan aksioma yang dituliskan
dalam buku geometri sekolah menengah yang anda pelajari.

Euclid's Elements (sekitar 300 SM) terdiri dari 13 buku yang berisi 465 proposal. Kata
proporisi berarti pernyataan yang disarankan untuk diterima, sehingga pernyataan Euclid benar-
benar adalah teorema diikuti oleh bukti. Sebagai tambahan untuk geometri, Elements memijit
teori bilangan dan aljabar geometris. Seperangkat lima aksioma dan lima postulat yang terkenal
diberikan sebagai berikut:

Aksioma (atau pengertian umum)

1. Hal-hal yang sama dengan hal yang sama juga sama satu sama lain

2. Jika sama ditambahkan ke sama, keutuhannya sama

3. Jika yang sama dikurangi dari yang sama, sisanya sama.

4. Hal-hal yang bertepatan satu sama lain sama dengan satu sama lain

5. Keseluruhannya lebih besar daripada bagian

Postulat

1. Garis lurus dapat ditarik dari titik mana saja ke titik mana pun.

2. Garis lurus terbatas dapat diproduksi terus menerus dalam garis lurus

3. Lingkaran dapat digambarkan dengan titik mana saja sebagai pusat dan jarak berapa pun
dengan jari-jari

4. Semua sudut kanan sama dengan satu sama lain

 5. Jika transversal jatuh pada dua denda sedemikian rupa sehingga sudut interior pada satu
sisi transversal kurang dari dua sudut kanan, maka garis bertemu di sisi yang sudutnya
kurang dari dua sudut kanan.

Postulat 2 berarti pada dasarnya bahwa suatu segmen dapat diperpanjang tanpa batas waktu
untuk membentuk garis. Postulat kelima Euchid (postulat paralel) akan menjadi Dipertimbangkan
lebih terinci nanti di bagian ini. Ini juga memainkan peran mendasar dalam pembahasan geometri
non uchidean dalam Bab 9.

Dalam seratus tahun terakhir khususnya, ahli matematika yang mempelajari dasar-dasar
matematika telah menunjukkan berbagai kelemahan dalam asumsi Euclid. Euclid sebenarnya
menggunakan asumsi diam-diam lainnya (asumsi tidak dinyatakan secara eksplisit) Masalah logis
ditunjukkan meliputi:

 Perlunya pernyataan yang pasti tentang kelangsungan garis dan lingkaran

 Perlunya pernyataan tentang luasnya garis lurus yang tidak terbatas.

 Kebutuhan untuk menyatakan fakta bahwa jika garis lurus memasuki segitiga pada
suatu titik, itu harus berpotongan dengan sisi yang berlawanan.

 Kebutuhan akan pernyataan tentang urutan titik pada suatu garis.

 kebutuhan akan suatu pernyataan antar konsep

 Kebutuhan akan suatu pernyataan yang menjamin keunikan suatu garis yang
menghubungkan dua titik berbeda.

 Kebutuhan akan daftar istilah yang tidak ditentukan.

 Perlunya pendekatan yang lebih logis yang tidak bergantung pada konsep superposisi.
Euctid mengasumsikan bahwa sebuah segitiga dapat diambil dan diletakkan di tempat
lain dengan semua properti yang tersisa invarian, namun tidak ada pernyataan untuk
efek ini dibuat. Geometri transformasi, bagian utama dari geometri modern saat ini
(Bab 2 dan di tempat lain), berasal karena kebutuhan akan penggantian yang lebih sehat
untuk konsep superposisi.
 Banyak himpunan aksioma modern untuk geometri Euclidean telah diperkenalkan untuk
memperbaiki cacat pada Euclid. Dalam kursus tentang dasar-dasar geometri, atau pada dasar-dasar
matematika, ini dipelajari secara luas. Secara umum, rangkaian aksioma yang lebih baru ini lebih
komprehensif daripada Euclid, dan karena alasan ini mereka tampak lebih kompleks. Sangat sulit
untuk memasukkan mereka ke dalam kursus geometri sekolah menengah pertama tanpa
memperkenalkan lebih banyak aksioma untuk menghindari pembuktian teorema yang sangat sulit
pada awal kursus.

Salah satu himpunan aksioma modern pertama untuk geometri Euclidean dirancang oleh
Moritz Pasch pada tahun 1882. Ia diberi penghargaan atas apa yang disebut Aksioma paskah:
sebuah garis yang memasukkan segitiga pada sebuah verteks memotong sisi yang berlawanan, dan
garis yang memotong satu sisi dari segitiga pada titik selain verteks juga memotong sisi kedua.

Guiseppi Peano memberikan pendekatan baru pada tahun 1889 Mungkin serangkaian
aksioma paling terkenal untuk geometri Euclidean. Bagaimanapun, diberikan oleh David Hilbert
dan diterbitkan dalam bahasa Inggris pada tahun 1902. Aksioma ini diberikan dalam Lampiran I
Hibert menggunakan enam istilah yang tidak ditentukan:titik, garis. bidang, kongruenan. dan
seterusnya. Dia memberikan aksioma dalam lima kelompok, dan pengelompokan membantu
menunjukkan bagaimana kesulitan logis dari Euchid diatasi. Sebagai contoh, tiga aksioma pertama
Hilbert mengklarifikasi postulat Euclid tentang menggambar garis lurus dari titik manapun ke titik
manapun, dan aksioma kongruensinya menjaga cacat logis superposisi.

Sejak zaman Hilbert ada banyak himpunan postulat modern lainnya untuk geometri
Euclidean. Beberapa di antaranya adalah oleh Oswald Veblen (pada 1904 dan 1911),
E.V.Huntington (1913), Henry Forder (1927), G.D.Birkhoff (1932), dan lain-lain. Aksioma
Birkhoff (Lampiran 2) memiliki makna khusus karena (1) mereka menekankan hubungan antara
geometri dan bilangan real, (2) mereka memasukkan jarak dan sudut sebagai istilah yang tidak
ditentukan, dan (3) mereka telah dimodifikasi untuk dimasukkan ke dalam program geometri.

Salah satu alasan utama mengapa sistem Birkhoff begitu singkat adalah kekuatan postulat
pertama. Karena asumsi ini memiliki efek mengasumsikan semua properti dari bilangan real,
hubungan urutan untuk poin hanya bergantung pada teorema dan definisi daripada pada postulat
tambahan.
 Karena program geometri modern bergantung pada koordinasi geometri analitik dengan
geometri sintetik lebih daripada yang terjadi bahkan pada masa Hilbert, aksioma untuk bilangan
real dan asumsi logis aljabar untuk hubungan adalah diperlukan dalam geometri. Serangkaian
aksioma untuk teks geometri modern biasanya berisi aksioma spesifik yang diperlukan untuk
masing-masing tujuan berikut ini yang tidak mudah terlihat sebagai hasil dari aksioma Hilbert:

 Untuk menunjukkan adanya korespondensi yang mengaitkan nomor unik dengan setiap
pasangan poin yang berbeda.

 Untuk menetapkan ukuran jarak antara dua titik dalam garis sebagai nilai absolut dari
selisih angka yang sesuai.

 Untuk menyatakan keberadaan sistem koordinat unik untuk garis yang menetapkan dua
titik berbeda dua diberi bilangan real yang berbeda

 Untuk merumuskan asumsi logis yang diperlukan untuk pengembangan teori convexity
(Bab 3) dengan menyatakan bahwa garis dalam pesawat membagi titik-titik pesawat tidak
pada garis menjadi dua set cembung sedemikian rupa sehingga setiap segmen yang
bergabung dengan titik satu set ke titik yang lain memotong garis

 Untuk memasukkan asumsi tambahan tentang kongruensi segitiga-asumsi asumsi yang

menghilangkan kebutuhan akan bukti panjang pada tahap awal dalam teks. Dua aksioma
tambahan yang paling umum adalah asumsi bahwa (1) kongruensi segitiga mengikuti dari
kongruensi dua sudut dan sisi yang disertakan dan bahwa (2) kongruensi segitiga mengikuti
dari kongruensi dari ketiga sisi.

 Untuk mendalilkan asumsi tambahan tentang konsep dasar area. Ini termasuk keberadaan
korespondensi yang mengaitkan angka 1 dengan wilayah poligon tertentu dan bilangan real
positif yang unik dengan setiap wilayah poligon cembung; pernyataan bahwa jika dua
segitiga kongruen, masing-masing daerah segitiga memiliki area yang sama; dan asumsi
bahwa ukuran luas wilayah persegi panjang adalah produk dari ukuran panjang basis dan
ketinggiannya.

Selain aksioma geometri Euclidean dan geometri terbatas pada Bab 1, Anda akan menemukan
aksioma untuk geometri projektif di Bab 7 dan aksioma untuk geometri non-Eulidean di Bab 9.
Pertimbangan singkat tentang sifat yang diinginkan untuk setiap set aksioma untuk geometri
menyimpulkan bagian ini.

Set aksioma untuk geometri harus memiliki setidaknya dua sifat penting:

1. Perangkat harus konsisten. Dalam serangkaian aksioma yang konsisten, tidak mungkin
untuk menggunakannya untuk membuktikan teorema yang bertentangan dengan aksioma
atau teorema lain yang sudah terbukti. Semua set aksioma dalam teks ini adalah contoh
dari sistem yang konsisten. Metode untuk membuktikan serangkaian aksioma yang
konsisten dibahas pada Bab 9 tentang geometri non-Euclidean. Contoh dari sistem yang
tidak konsisten bisa menjadi salah satu yang mencakup kedua aksioma ini: (a) Dua titik
berbeda menentukan tepat satu baris. (b) Dua titik berbeda menentukan tepat dua garis.

2. Himpunan harus lengkap. Meskipun kelengkapan dapat dijelaskan dalam beberapa cara,
ini digunakan di sini untuk mengartikan bahwa untuk setiap dua pernyataan yang saling
bertentangan yang melibatkan konsep aksioma himpunan, setidaknya salah satu pernyataan
dapat dibuktikan dengan menggunakan aksioma himpunan.

Contoh terkenal tentang pentingnya kelengkapan menyangkut postulat kelima Euclid Tanpa
dalil paralel (atau yang setara), himpunan aksioma untuk geometri Euclid dapat tidak lengkap.
Geometri himpunan aksioma yang tersisa disebut geometri absolut, dan dalam geometri absolut
tidak mungkin untuk membuktikan teorema bahwa jumlah ukuran sudut-sudut suatu segitiga baik
atau tidak 180 derajat.

Dalam studi dasar-dasar matematika, seringkali penting bahwa himpunan aksioma memiliki
setidaknya satu sifat tambahan: bahwa tidak ada aksioma yangdapat dibuktikan dari himpunan
aksioma yang tersisa. Himpunan aksioma yang memiliki sifat ini disebut himpunan aksioma
independen. Kursus dalam dasar-dasar geometri termasuk bukti independensi.

Untuk menunjukkan bahwa satu aksioma suatu himpunan tidak tergantung pada yang lain, kita
dapat menunjukkan model dimana semua aksioma lainnya berlaku, tetapi aksioma yang tersisa
dipertentangkan. Dua contoh sederhana mengikuti dari dua geometri terbatas yang berbeda.
Gambar 1.15 adalah model untuk dua aksioma pertama dari geometri empat-baris. Aksioma 3
tidak berlaku dan karenanya independen. Gambar 1 16 menunjukkan model untuk dua aksioma
pertama dari geometri empat titik. Di sini, juga, Aksioma 3 tidak berlaku dan, oleh karena itu
independent.

Gambar 1.15 Gambar 1.16

Contoh terkenal tentang pentingnya independensi melibatkan postulat kelima. Postulat kelima
adalah independen dari yang lain. Geometri non-Euclidean yang dipelajari pada Bab 9, adalah
hasil dari penggantian postulat paralel lain yang bertentangan dengan yang ada di set Euclid.
Dalam bab itu, model digunakan untuk menunjukkan bahwa geometri berdasarkan alternatif
postulat kelima sama konsistennya dengan geometri Euclidean biasa.

Euclid sendiri tampaknya enggan menggunakan postulat kelima dalam pembuktiannya. Dalam
Elemen-elemennya, 28 proposisi pertama dibuktikan tanpa mengacu pada postulat kelima atau
postulat paralel alternatif. Karena itu, 28 proposisi ini membentuk bagian penting dari apa yang
disebut geometri absolut, geometri berdasarkan semua aksioma dan postulat Euclid kecuali
postulat kelima (lihat Lampiran 6).

Persyaratan independensi tidak selalu diinginkan pada tingkat yang lebih dasar. Oleh karena
itu, teks geometri sekunder biasanya memiliki aksioma tambahan yang dapat dibuktikan dari yang
lain. Aksioma-aksioma ini dimasukkan karena mereka nyaman untuk dinyatakan dan digunakan
di awal kursus, atau karena buktinya terlalu sulit untuk level tersebut. Aksioma ini dapat menjadi
teorema dalam kursus yang lebih maju. Asumsi geometri Euclidean, bersama dengan beberapa
teorema yang dibuktikan dalam setiap kursus pengantar, adalah asumsi dasar yang digunakan
dalam Bab 2 hingga 5 dari teks ini.

LATIHAN 1.7

1. Gambarlah sebuah angka untuk menjelaskan kata-kata yang tepat dari postutate kelima Euclid

Untuk Latihan 2-7, gambarlah sebuah gambar untuk menjelaskan anonim-anomik Hilbert

2. Orde Aksioma 2
3. Orde Aksioma 4
4. Orde Aksioma
5. Aksioma yang kongruen 3
6. Aksioma yang kongruen
7. Aksioma kontinuitas

Untuk Latihan 8-10. beri nama aksioma Hilbert yang:

8. Nyatakan aksioma paskah

9. Menjamin keunikan garis bergabung dengan dua titik berbeda
10. Menangani perbedaan antara poin pada garis

Untuk Latihan I1-14 nyatakan apakah set aksioma bisa:

11. Lengkap tetapi tidak independen

12. Independen tetapi tidak lengkap
13. Independen tetapi tidak konsisten
14. Konsisten tetapi tidak independent

Untuk Latihan 15-22, nyatakan aksioma yang dapat ditambahkan ke set aksioma yang diberikan
untuk setiap geometri sehingga set tidak akan lagi konsisten:

15. Aksioma dan postulat Euclid

16. Dalil yang dikemukakan Birkhoff
17. Aksioma untuk geometri tiga titik
18. Aksioma untuk geometri empat garis
19. Aksioma untuk geometri empat titik
20. Aksioma untuk geometri Fano
21. Aksioma untuk geometri Pappus
22. Aksioma untuk geometri Desargues
23. Temukan, dalam teks geometri sekolah menengah baru-baru ini, sekumpulan aksioma yang
bukan sekumpulan independen. Tunjukkan setidaknya satu "aksioma" yang dapat dibuktikan
sebagai teorema, menggunakan aksioma yang tersisa
24. Cobalah untuk menemukan model tambahan, selain yang ditunjukkan pada Gambar 1.15 dan
1.16, yang menunjukkan independensi aksioma lain dalam geometri yang diperkenalkan pada
Bab ini.
25. Mempelajari bukti-bukti dari 28 proposisi pertama dalam Elemen Euclid untuk memverifikasi
bahwa masing-masing adalah teorema dalam geometri absolut
 BAB 3
KONVEKSITAS

3.1. Konsep Dasar

Studi tentang konveksitas (cembung) merupakan bagian penting dari penelitian terkini
dalam geometri Euclidean Modern. Dalam bab ini, konsep umum yang dibagikan beberapa
himpunan titik yang serupa dengan semua himpunan cembung akan memperkaya beberapa konsep
dasar geometri Euclidean dan mengarah ke aplikasi yang seharusnya Anda temukan secara
signifikan.

Kata-kata cembung dan cembung adalah umum di luar matematika. Cembung berarti
melengkung ke luar. Misalnya, lensa cembung menonjol ke luar. Untungnya, penggunaan kata
cembung untuk menggambarkan sekumpulan titik tertentu dalam matematika hanyalah pernyataan
ulang yang hati-hati dari makna bersama ini. Studi angka 3.1, bagian a dan b, untuk menemukan
perbedaan mendasar antara himpunan titik cembung dan mereka yang bukan cembung. Contoh di
paling kanan pada gambar 3.1a adalah dalam bentuk lensa cembung-cembung dalam optik,
sedangkan contoh terakhir pada gambar paling kanan 3.1b adalah dalam bentuk lensa cekung-
cembung.

Untuk himpunan titik-titik cembung, seperti K pada Gambar 3.2a, setiap segmen dengan
titik akhir A dan B dalam himpunan sepenuhnya terletak pada himpunan tersebut. Ini tidak benar
untuk semua pasangan titik dalam himpunan bukan cembung pada Gambar 3.2b. Untuk contoh,
̅̅̅̅
𝐶𝐷 termasuk titik awal set K'.

DEFINISI: Sebuah himpunan cembung adalah sebuah himpunan titik K sehingga

jika A"adalah
Simbol ⊆ berarti dan B bagian
adalah setiap titik dalam
dari." Simbol K, maka
⊂ berarti segmen
"adalah ̅̅̅̅ ⊆
𝐴𝐵
bagian 𝐾. tepat dari."
yang

Definisi himpunan cembung ini mencakup banyak himpunan titik yang dipelajari dalam
geometri Euclidean. Contohnya adalah daerah melingkar, beberapa daerah poligonal, segmen,
sudut (dengan ukuran kurang dari 𝜋) dan bagian dalamnya, dan daerah bola. Himpunan kosong
dan himpunan yang terdiri dari satu titik sama-sama cembung berdasarkan kesepakatan.

Untuk menunjukkan bahwa himpunan tertentu cembung dengan menggunakan definisi

tidak selalu mudah. Selain Teorema 3.1, yang mengikuti, geometri analitik sering digunakan. Anda
harus mengasumsikan di sini dan di tempat lain dalam bab ini, kecuali dinyatakan sebaliknya,
bahwa variabel untuk koordinat titik adalah elemen dari himpunan bilangan real.

TEOREMA 3.1 : Persimpangan dari dua himpunan cembung adalah

himpunan cembung.
Bukti: Pada Gambar 3.3, biarkan K1 dan K2 menjadi dua himpunan cembung dan
membiarkan S menjadi persimpangan mereka. Untuk A, B ∈ S, semua titik dari ̅̅̅̅
𝐴𝐵 adalah elemen
K1 karena K1 adalah cembung. Semua titik dari ̅̅̅̅
𝐴𝐵 juga elemen K2 , karena itu juga cembung.

Oleh karena itu, ̅̅̅̅

𝐴𝐵 ⊆ (𝐾1 ∩ 𝐾2 ); dengan demikian 𝐾1 ∩ 𝐾2 adalah cembung.
 Teorema 3.1 dapat digeneralisasi menjadi lebih dari dua himpunan, seperti dalam Latihan
3 dari Latihan 3.1. Teorema dapat digunakan untuk menunjukkan cembung dari beberapa
himpunan titik yang umum. Sebagai contoh, sudut (ukuran kurang dari 𝜋) dan bagian dalamnya
dapat didefinisikan sebagai perpotongan dua bidang setengah, yang dengan mudah ditunjukkan
cembung, sehingga Teorema 3.1 berlaku.

Pendekatan alternatif menggunakan geometri analitik untuk menunjukkan bahwa

himpunan titik adalah cembung. Pendekatan ini bahkan dapat digunakan untuk setengah bidang.

Contoh : Misalkan S adalah himpunan titik dengan koordinat (x, y) sedemikian sehingga
𝑥 > 0. Tunjukkan bahwa S adalah bidang cembung.

Misalkan A ( x 1 y1) dan B (x2.y2) adalah dua titik S, seperti pada Gambar 3.4, sehingga
𝑥1 > 0 dan 𝑥2 ≥ 𝑥1 . Kemudian, untuk setiap titik 𝑃 ( 𝑥 , 𝑦 ) dari ̅̅̅̅
𝐴𝐵 , 𝑥2 ≥ 𝑥 ≥ 𝑥1 , maka 𝑥 >0
dan ̅̅̅̅
𝐴𝐵 ⊂ 𝑆, sehingga S adalah cembung menurut definisi.
 Keyakinan untuk memulai studi sistematis himpunan cembung pada awal abad kedua
puluh diberikan kepada H. Brunn dan H. Minkowski . Karya 1934, Theorie der kon vexen Körper
, oleh T. Bonnesen dan W. Fenchel menunjukkan banyak kemajuan. Selama 1940-an dan 1950-an
banyak aplikasi dipelajari, terutama untuk bidang optimasi. Prosiding Simposium dalam
Matematika Murni, Volume VII, adalah publikasi yang dihasilkan dari Simposium 1963 tentang
Convexity yang disponsori oleh American Mathematical Society. Cembung terus menjadi bidang
penelitian saat ini dalam geometri.
Sebelum mengeksplorasi sifat-sifat yang lebih kompleks dari himpunan cembung, perlu
untuk memperkenalkan beberapa konsep dasar dari geometri modern yang akan berguna baik di
sini maupun di bab-bab selanjutnya. Ingat bahwa fungsi 𝑦 = 𝑓 (𝑥) kontinu pada 𝑥 = 𝑎 jika dan
hanya jika, diberikan 𝜀 > 0, ada sebuah 𝛿 sedemikian rupa sehingga
|𝑓(𝑥) − 𝑓(𝑎)| < 𝜀 jika |𝑥 − 𝑎| < 𝛿
Suatu fungsi adalah kontinu jika kontinu di setiap titik domainnya.
Misalnya, fungsi pada Gambar 3.5a adalah kontinu, sedangkan fungsi pada Gambar 3.5b
tidak.

Kurva bidang adalah grafik satu himpunan persamaan dari bentuk 𝑥 = 𝑓(𝑡), 𝑦 = 𝑔(𝑡),
untuk 𝑓dan 𝑔 fungsi kontinu pada interval, I, dari himpunan R bilangan real. Kurva adalah gambar
pemetaan dari I ke pesawat. Jika pemetaannya satu-ke-satu, kurva tersebut adalah kurva
sederhana. Jika titik, (𝑓(𝑎), 𝑔(𝑎)) dan (𝑓(𝑏), 𝑔(𝑏)), sesuai dengan kedua titik akhir dari interval
yang menentukan [𝑎, 𝑏] identik, kurva tersebut adalah kurva tertutup. Jika kurva keduanya
sederhana dan tertutup, maka itu disebut kurva tertutup sederhana. Secara intuitif, sebuah kurva
tertutup sederhana dianggap sebagai kurva yang dimulai dan berakhir pada titik yang sama tetapi
tidak menyeberangi sendiri; dengan demikian, hanya ada satu bagian dalam. (Lihat Gambar 3.6.)
Himpunan titik pada dan di dalam kurva tertutup sederhana atau sudut pada bidang disebut bidang

bidang.

Definisi tepat dari titik-titik bagian dalam, bagian luar, dan batas dari sekumpulan titik
seperti wilayah bidang bergantung pada konsep lingkungan suatu titik.

DEFINISI : Untuk Dua Dimensi: Lingkungan lingkaran terbuka dengan jari-jari r dari titik P
adalah himpunan titik di dalam lingkaran jari-jari r dengan P sebagai pusat (Lihat
Gambar 3.7a). Definisi ini dapat ditulis sebagai
𝑁(𝑃, 𝑟) = {𝐴: 𝑃𝐴 < 𝑟}

Untuk Tiga Dimensi: Lingkungan bulat terbuka dengan jari-jari r dari titik P adalah
himpunan titik-titik dalam ruang di dalam bola dari jari-jari r dengan P sebagai pusat. (Lihat
Gambar 3.7b.) Definisi ini dapat ditulis sebagai
𝑁(𝑃, 𝑟) = {𝐴: 𝑃𝐴 < 𝑟}

Untuk Dua atau Tiga Dimensi: Lingkungan yang tertutup mencakup titik-titik pada
lingkaran atau bola serta yang di dalamnya. Definisi lingkungan tertutup, menggunakan himpunan
simbolisme, adalah
 𝑁[𝑃, 𝑟] = {𝐴: 𝑃𝐴 ≤ 𝑟}
Lingkungan terbuka dan tertutup adalah kumpulan titik cembung.

DEFINISI : P adalah titik bagian dalam himpunan S jika dan hanya jika ada
beberapa bilangan real positif sedemikian 𝑁(𝑃, 𝑟) ⊆ 𝑆.

Definisi ini berarti secara intuitif bahwa suatu titik adalah titik bagian dalam suatu
himpunan jika setiap titik yang cukup dekat itu adalah elemen dari himpunan tersebut. Sebagai
contoh, titik A adalah titik bagian dalam pada Gambar 3.8a. Himpunan dari titik bagian dalam
disebut juga bagian dalam dari suatu himpunan.
Simbol ~ 𝑆 berarti "bukan S," atau pelengkap dari S.

DEFINISI : P adalah titik bagian luar himpunan S jika dan hanya jika ada bilangan real
positif r sedemikian rupa 𝑁(𝑃, 𝑟) ⊆ 𝑆.

Suatu titik adalah titik luar dari suatu himpunan jika setiap titik yang cukup dekat itu adalah
anggota dari himpunan tersebut. Untuk himpunan titik 𝑥 2 + 𝑦 2 < 1, bagian luarnya adalah 𝑥 2 +
𝑦 2 > 1. Titik B adalah titik bagian luar pada Gambar 3.8b. Himpunan titik bagian luar himpunan

disebut bagian luar dari suatuhimpunan.

Suatu titik yang bukan merupakan titik bagian dalam maupun bagian luar suatu himpunan
disebut titik batas. Himpunan titik batas untuk suatu himpunan disebut batas himpunan. Perhatikan
bahwa jika P adalah titik batas S, maka itu juga merupakan titik batas pelengkap S.
Untuk himpunan 𝑥 2 + 𝑦 2 < 1, batasnya adalah 𝑥 2 + 𝑦 2 = 1, Titik C adalah titik batas pada
Gambar 3.8c. Batas setengah-bidang adalah garis yang menentukan setengah-bidang. Kurva
tertutup sederhana adalah batas himpunan titik bagian dalam.
 Contoh : Jelaskan bagian dalam, batas, dan bagian luar untuk himpunan pesawat

𝑥2 𝑦2
+ ≤1
4 9
𝑥2 𝑦2
Bagian dalam adalah himpunan titik di dalam elips, sehingga + ≤ 1. Batasnya
4 9
𝑥2 𝑦2
adalah elips + = 1, dan bagian luarnya adalah himpunan titik di luar elips , yang
4 9
𝑥2 𝑦2
menyamaratakan ketidaksetaraan + > 1.
4 9

Anda harus menyadari bahwa titik batas suatu himpunan mungkin atau mungkin bukan
elemen dari himpunan tersebut. Ide penting adalah bahwa, untuk memutuskan apakah suatu titik
adalah bagian dalam, bagian luar, atau titik batas, perlu mempertimbangkan jumlah dimensi.
Misalnya, pada Gambar 3.9, {(𝑥, 𝑦, 0) ∶ 𝑥 2 + 𝑦 2 ≤ 1 tidak memiliki titik bagian dalam tiga ruang.
Setiap titik himpunan adalah titik batas, karena setiap lingkungan bulat untuk titik himpunan berisi
titik himpunan dan titik komplemennya.

Klasifikasi titik sebagai titik bagian dalam, bagian luar, atau batas untuk suatu himpunan mengarah
pada klasifikasi yang berguna dari himpunan itu sendiri.

DEFINISI → Sebuah himpunan terbuka hanya memiliki titik didalam.

Daerah terbuka merupakan himpunan terbuka, seperti bagian dalam dari setiap kurva
tertutup sederhana.

DEFINISI → Sebuah himpunan terbuka berisi semua titik batasnya.

 Contoh himpunan tertutup 𝑥 2 + 𝑦 2 ≤ 1, daerah poligonal (poligon dan bagian
dalamnya), dan segmen ̅̅̅̅
𝐴𝐵 . Hal itu penting untuk mengamati bahwa definisi ini dari himpunan
terbuka dan tertutup tidak saling eksklusif, juga tidak mencakup semua kemungkinan himpunan
titik. Satu himpunan bisa terbuka dan tertutup atau tidak terbuka atau tidak tertutup. Contoh dari
himpunan kedua terbuka dan tertutup adalah seluruh pesawat. Sejak himpunan ini tidak memiliki
batas, itu mencakup semua titik batas nya. Pada saat yang sama, semua poin yang merupakan
titik bagian dalam. Contoh himpunan yang tidak terbuka atau tertutup diberikan pada Gambar
3.10. Bagian putus-putus dari batas tersebut tidak dianggap sebagai bagian dari himpunan.

Gambar 3.10

DEFINISI → Sebuah himpunan terbatas didalam dua dimensi adalah salah satu yang
adalah bagian dari beberapa wilayah melingkar. Dalam tiga dimensi, sebuah himpunan
terbatas adalah bagian dari beberapa wilayah bulat.

Beberapa himpunan terbatas ditunjukkan pada Gambar 3.11. Himpunan terbatas tidak
dapat memperpanjang tanpa batas. Misalnya, parabola 𝑦 = 𝑥 2 bukan himpunan terbatas karena
tidak ada lingkaran dapat melampirkan titik himpunan. Konsep himpunan terbatas tidak harus
bingung dengan batas yang ditetapkan.

Gambar 3.11
 ▲ LATIHAN 3.1 ▲

1. Manakah dari set ini cembung?

 a. sudut
b. Sebuah wilayah persegi panjang
c. Interior dari ellipsoid
d. Sebuah garis lurus
e. Sebuah titik tunggal
f. Sebuah sinar
g. Sebuah wilayah segitiga
h. Sebuah segitiga
2. Manakah dari set ini set cembung?
a. Sebuah wilayah melingkar dengan satu titik pada batas dihapus
b. Sebuah wilayah persegi panjang dengan satu simpul dihapus
c. Sebuah wilayah persegi panjang dengan satu poin, bukan sebuah sudut, di
perbatasan dihapus
d. Sebuah wilayah melingkar dengan satu titik interior dihapus
3. Buktikan bahwa persimpangan setiap koleksi set cembung adalah seperangkat
cembung.
4. Apakah gabungan dari dua set cembung pernah satu set cembung? Apakah
selalu set cembung?
5. Buktikan bahwa daerah segitiga adalah satu set cembung.
6. Tampilkan analitis 𝑆 = {(𝑥, 𝑦) ∶ 𝑥 > 3} yang merupakan set cembung.
7. Tampilkan analitis 𝑆 = {(𝑥, 𝑦) ∶ 𝑥 > 3 and 𝑦 > 4}yang merupakan set
cembung.
8. Berikan definisi untuk daerah satu-dimensi.
9. Menggambarkan interior, batas, dan eksterior untuk set pesawat tersebut.
a. {(𝑥, 𝑦) ∶ 𝑥 2 + 𝑦 2 ≤ 1}
b. {(𝑥, 𝑦) ∶ 𝑦 > 𝑥 2 }
c. {(𝑥, 𝑦) ∶ 𝑦 > |𝑥|}
𝑦2
d. {(𝑥, 𝑦) ∶ 𝑥 2 + ≤ 1}
4

e. {(𝑥, 𝑦) ∶ 𝑥 dan 𝑦 adalah bilangan bulat}

f. {(𝑥, 𝑦) ∶ 𝑥 dan 𝑦 adalah bilangan rasional}
10. Gambarkan interior, batas, dan eksterior untuk set ini titik dalam ruang.
a. {(𝑥, 𝑦, 𝑧) ∶ 𝑥 2 + 𝑦 2 + 𝑧 2 ≤ 1}
 b. {(𝑥, 𝑦, 0) ∶ 𝑥 2 + 𝑦 2 ≤ 9}
c. {(𝑥, 𝑦, 0) ∶ 𝑥 2 > 𝑦}
d. {(𝑥, 𝑦, 0) ∶ 𝑥 = 2}
11. Klasifikasikan set ini sebagai terbuka, tertutup, tidak atau keduanya.
a. Set semua titik dengan koordinat rasional pada garis bilangan
b. Set semua titik pada garis bilangan dalam interval [0, 1]
c. Set di Latihan 9
d. Set di Latihan 10
e. Sebuah wilayah persegi panjang dengan satu simpul dihapus
12. Manakah dari set di setiap latihan dibatasi?
a. Set di Latihan 9
b. Set di Latihan 10
13. Buktikan bahwa batas satu set poin juga batas komplemen dari himpunan.
14. Buktikan bahwa komplemen dari himpunan tertutup terbuka.
15. Apa yang dapat Anda katakan tentang komplemen dari himpunan yang tidak
dekat atau terbuka?
16. Berikan contoh (a) satu set bounded yang tidak mengandung batas dan (b) satu
set yang berisi nya batas namun tidak dibatasi.
17. Apakah persimpangan dua set tertutup selalu satu set tertutup? Buktikan bahwa
jawaban Anda benar.
18. Buktikan bahwa setiap satu dimensi set cembung adalah segmen, ray, atau garis.
19. Buktikan bahwa jika dan adalah titik batas set cembung, maka tidak ada titik
̅̅̅̅
dapat menjadi titik eksterior set.𝑃𝑄𝑃𝑄
20. Ambil persamaan tertentu dan nilai-nilai numerik sebagai contoh untuk
menggambarkan konsep lingkungan terbuka melingkar, lingkungan bulat
terbuka, lingkungan tertutup, titik interior, dan titik eksterior.
3. 2. Himpunan Cembung dan Garis Mendukung

Menggunakan ide-ide dasar himpunan cembung dijelaskan dalam Bagian 3.1,

Sekarang mungkin untuk menjelajahi beberapa konsep tambahan yang terkait dengan
himpunan cembung. Pada bagian ini, diasumsikan bahwa geometri sedang
dipertimbangkan adalah geometri dua ruang.

Beberapa sifat dikenal untuk menjadi kenyataan untuk kurva tertentu cembung
lingkaran tersebut juga dapat ditunjukkan untuk menjadi kenyataan untuk semua
sederhana cembung ditutup kurva. Contohnya adalah teorema berikut dikaitkan
denganAuguste Miquel ( “Moire De Géométrie,” Journal De Mathématiques Murni et
Appliquées, Januari, 1844.)é

TEOREMA 3.1 → Untuk setiap poligon tertulis dalam kurva cembung, jumlah
semua sudut eksterior untuk poligon dan interior untuk kurva sama dengan empat sudut
kanan. Seorang tokoh perwakilan ditunjukkan pada Gambar 3.12.

Gambar 3.12

Milik kecembungan digunakan untuk menetapkan adanya titik interior seperti P,

Partisi interior poligon ke segitiga. Pada setiap titik, jumlah dari interior dan eksterior
sudut pada satu sisi bersinggungan adalah 180 derajat, sehingga total untuk n simpul
dari poligon adalah n (180). Jumlah sudut eksterior n ini jumlah (180) minus jumlah
sudut dalam segitiga, kecuali bagi mereka sudut pada interior titik P, sehingga jumlah
sudut eksterior

𝑛(180) − ([𝑛(180)] − 360) = 360

atau empat sudut kanan seperti yang diklaim.

 Sebuah konsep penting terutama dalam membahas cembung set, tetapi berlaku
untuk set lain dari poin juga, adalah konsep pendukung baris.

(a)

(B)

Gambar 3.13

DEFINISI → Sebuah garis pendukung untuk satu set dua dimensi dengan poin
interior adalah garis melalui-setidaknya salah satu titik batas dari himpunan sehingga
semua titik dari himpunan berada di tertutup setengah-pesawat yang sama ditentukan
oleh garis.

Gambar 3.13a menunjukkan garis mendukung dan tertutup setengah tertutup

mengandung set. Gambar 3.31b menunjukkan tiga contoh set, dengan beberapa baris
pendukung untuk setiap.𝐿𝐻

Bukti dari hasil teorema berikut dalam deskripsi alternatif untuk mendukung garis set
dua dimensi cembung dengan poin interior.

TEOREMA 3.3 → Sebuah garis adalah garis yang mendukung untuk satu set
cembung poin jika melewati setidaknya satu titik batas dari himpunan tetapi tidak ada
poin interior, dan sebaliknya.

Untuk membuktikan teorema dan kebalikannya, Anda harus membuktikan dua

pernyataan terpisah.
Teorema 3.3 mencakup dua conditional:

a. Jika garis melewati setidaknya satu titik batas dari himpunan tetapi tidak
mengandung poin interior, maka itu adalah garis pendukung untuk set cembung
poin.
b. Jika garis adalah garis yang mendukung untuk satu set cembung poin, maka itu
mengandung setidaknya satu titik batas dari himpunan tetapi tidak ada poin
interior.

Terkait dengan bersyarat tiga conditional lain: converse, terbalik, dan contrapositive.
Ini ditampilkan secara simbolis sebagai berikut:

bersyarat asli 𝑝→𝑞

Berbicara 𝑞→𝑝

Terbalik ~𝑝 → ~𝑞 (Bukan p menyiratkan q)

contrapositive ~𝑞 → ~𝑝

------------------------------------

Terkadang, terutama dalam geometri, lebih mudah untuk membuktikan kebalikan

dan / atau kontrapositif daripada beberapa bentuk kondisional lainnya. Sebuah
kondisional dan kontrapositifnya setara secara logis. Begitu juga sebaliknya dan
kebalikannya. Membuktikan "jika dan hanya jika teorema" sama dengan membuktikan
teorema dan sebaliknya. Membuktikan 𝑝 → 𝑞 dan 𝑞 → 𝑝 penghasilkan pembuktian
𝑝 ↔ 𝑞 kesetaraan. Setiap pasangan pernyataan ini dapat dibuktikan untuk membuktikan
suatu kondisi dan kebalikannya: '

𝐾𝑜𝑛𝑑𝑖𝑠𝑖𝑜𝑛𝑎𝑙 𝐾𝑜𝑛𝑑𝑖𝑠𝑖𝑜𝑛𝑎𝑙
( )( )
𝑏𝑒𝑟𝑏𝑖𝑐𝑎𝑟𝑎 𝑡𝑒𝑟𝑏𝑎𝑙𝑖𝑘

𝐾𝑜𝑛𝑡𝑟𝑎𝑝𝑜𝑠𝑖𝑡𝑖𝑓 𝐾𝑜𝑛𝑡𝑟𝑎𝑝𝑜𝑠𝑖𝑡𝑖𝑓
( )( )
𝑡𝑒𝑟𝑏𝑎𝑙𝑖𝑘 𝑏𝑒𝑟𝑏𝑖𝑐𝑎𝑟𝑎
 Bukti: Untuk membangun Teorema 3.3, itu adalah yang paling mudah untuk
membuktikan kontrapositif dan kebalikan dari bersyarat, yang setara dengan
bersyarat b.

Kontrapositif: Jika garis tidak garis mendukung untuk satu himpunan cembung dalam
dua dimensi namun mengandung titik batas, maka mengandung titik interior.

Bukti: Jika 𝑙 garis tidak mendukung, karena tidak pada Gambar 3.14a, maka
titik bagian dalam 𝐴 dan 𝐵 dari himpunan dapat ditemukan di berbagai setengah-bidang
yang dibentuk oleh 𝑙. Persimpangan ̅̅̅̅
𝐴𝐵 dan 𝑙 tidak kosong. Tapi 𝐶 adalah titik bagian
dalam dari himpunan, karena 𝐾 cembung dan 𝐴 dan 𝐵 titik bagian dalam. Lihat Latihan
18, Latihan 3.2.

Keterbalikan: Jika baris berisi setidaknya satu titik batas dan juga titik bagian dalam,
maka itu bukan garis mendukung untuk himpunan cembung dalam dua dimensi.

Bukti: Misalkan 𝑙 mengandung titik batas 𝐴 dan titik interior 𝐵, seperti pada
Gambar 3.14b. Ada tersedia sebuah daerah dari , 𝑁(𝐵, 𝑒), mengandung titik bagian
dalam. Tapi daerah ini meliputi titik di kedua setengah bidang yang dibentuk oleh ;
karenanya, 𝑙 bukan garis pendukung.

Gambar 3.14

Konsep garis pendukung berkaitan erat dengan ide akrab garis singgung. Dari
kalkulus, ide bersinggungan dengan kurva adalah bahwa dari garis berpotongan kurva
pada suatu titik dan memiliki kemiringan yang sama seperti kurva pada titik tersebut.
Sebagai sosok 3,15 menunjukkan, garis pendukung dan garis singgung tidak selalu hal
yang sama.

Seperti yang digunakan dengan set cembung, konsep tangen agak berbeda dari
ide yang digunakan dalam kalkulus.
.

(a) Sebuah singgung yang tidak garis pendukung (B) Sebuah garis
pendukung yang tidak singgung

Gambar 3.15

Definisi: kerucut singgung untuk titik batas himpunan cembung adalah himpunan semua
sinar itu. (1) Memiliki titik batas sebagai titik akhir. (2) juga mengandung titik lain dari
himpunan cembung atau batasnya.

Gambar 3.16 menunjukkan tiga kerucut garis singgung. Untuk gambar 3.16a ⃗⃗⃗⃗⃗
𝐴𝐶 dan ⃗⃗⃗⃗⃗
𝐴𝐷
⃗⃗⃗⃗⃗ berarti sinar AC). Batas-batas itu sendiri
adalah batas kerucut garis singgung. (notasi 𝐴𝐶
bukan sinar kerucut garis singgung. Batas kerucut garis singgung disebut semitangen.
⃗⃗⃗⃗⃗ dan 𝐴𝐷
pada gambar 3.16a, 𝐴𝐵 ⃗⃗⃗⃗⃗ adalah semitangen. pada gambar 3.16b, 𝐵𝐸
⃗⃗⃗⃗⃗ dan 𝐵𝐹
⃗⃗⃗⃗⃗
adalah semitangen dan collinear.

Gambar 3.16

Definisi: Garis adalah garis singgung ke himpuan cembung pada suatu titik jika
itu adalah penyatuan dua semitangen collinear.

Dari gambar 3.16 atau dari pertimbangan definisi garis singgung, harus jelas
bahwa ada garis singgung pada beberapa titik batas himpunan cembung dan bukan pada
titik lainnya. Hal ini mungkin untuk mengklasifikasikan titik batas dari cembung yang
ditetapkan sebagai titik sudut biasa atau berdasarkan pada apakah ada garis singgung pada
kurva yang ditentukan pada titik batas tersebut. Ada garis singgung di setiap titik reguler.
pada gambar 3.16, A dan H adalah titik sudut, sedangkan B dan G adalah titik reguler.
contoh lain dari titik sudut adalah simpul dari suatu daerah poligon cembung. di sisi lain,
semua titik pada lingkaran adalah titik reguler pada batas wilayah lingkaran.

TEOREMA 3.4: interior kurva tertutup sederhana adalah cembung jika dan hanya
jika melalui setiap titik kurva melewati setidaknya satu garis pendukung untuk
interior.

Gambar 3.17 membantu menjelaskan secara intuitif pentingnya teorema 3.4. Jika
himpunan tidak cembung, maka titik-titik (seperti A) ada pada batas sedemikian sehingga
setiap melalui A berisi titik-titik interior. Melalui titik A pada batas himpunan cembung,
setidaknya satu garis dapat ditarik tanpa titik interior.

Gambar 3.17

Bukti:

a. jika K adalah cembung, maka setidaknya ada satu garis pendukung yang melewati
setiap titik batas A

⃗⃗⃗⃗⃗ dan 𝐴𝐶
Biarkan 𝐴𝐵 ⃗⃗⃗⃗⃗ menjadi semitangen pada titik A pada Gambar 3.18. Jika
⃡⃗⃗⃗⃗ adalah garis singgung dan karena garis
pengukuran < 𝐵𝐴𝐶 adalah π, maka 𝐵𝐶
⃡⃗⃗⃗⃗ dan 𝐴𝐶
pendukung. Jika pengukuran < 𝐵𝐴𝐶 kurang dari π, maka 𝐴𝐵 ⃡⃗⃗⃗⃗ keduanya
 merupakan garis pendukung, dan tidak ada garis singgung pada A. Jika pengukuran
< 𝐵𝐴𝐶 lebih besar dari π, maka himpunan aslinya tidak cembung, bertentangan
dengan asumsi awal. Lihat Latihan 16, Latihan 3.2

b. Jika 𝑆 ′ bukan himpunan cembung, maka tidak ada garis pendukung di setiap titik
pembatas.
Perrnyataan ini adalah kebalikan dari kondisi di (a), jadi pembuktikannya akan
melengkapi bukti Teorema 3.4. (Lihat Gambar 3.19.) Karena S 'bukan cembung,
titik interior C dan titik batas B dapat ditemukan sedemikian rupa sehingga titik
̅̅̅̅ . 𝐵𝐶
batas A terletak pada 𝐵𝐶 ⃡⃗⃗⃗⃗ bukan garis dukungan, karena mengandung titik
interior. Setiap garis lain yang melalui A memiliki B dan C di setengah pesawat
yang berlawanan; karenanya, itu tidak bisa menjadi jalur pendukung. Tidak ada
garis pendukung ke S 'melalui A.

Gambar 3.18 Gambar 3.19

Jika suatu garis adalah garis pendukung untuk suatu himpunan dalam dua dimensi,
setengah-bidang tertutup yang dibentuk oleh garis dan berisi himpunan disebut setengah-
bidang pendukung . Konsep ini biasa juga digunakan untuk memberikan properti
tambahan himpunan cembung.

THEOREMA 3.5 : Satu himpunan pesawat tertutup cembung yang merupakan

himpunan bagian yang tepat dari pesawat adalah persimpangan dari semua setengah-
pesawat pendukungnya.

Contoh teorema ini untuk segi empat dan interiornya, menunjukkan empat bidang
pendukung yang dibentuk oleh sisinya, ditunjukkan pada Gambar 3.20.
 Gambar 3.20

BUKTI: Teorema 3.5 menyatakan bahwa himpunan titik dalam himpunan

cembung identik dengan himpunan titik di persimpangan setengah bidang pendukung.
Cara mudah untuk membuktikan bahwa dua set identik adalah dengan membuktikan
bahwa masing - masing adalah himpunan bagian dari lainnya, karena himpunan kemudian
harus memiliki elemen yang persis sama. Biarkan cembung diatur menjadi K dan
persimpangan setengah bidang pendukung menjadi K '. Dengan definisi mendukung
setengah-pesawat, K adalah bagian dari K '.

Sekarang jadikan A menjadi titik dalam komplemen K, seperti pada Gambar 3.21.
Dapat dibuktikan bahwa beberapa titik K, katakanlah B, adalah titik terdekat dari K ke A.
Biarkan / menjadi garis pendukung ke K pada B yang tegak lurus terhadap ⃡⃗⃗⃗⃗
𝐴𝐵 . Maka A
tidak berada di setengah bidang pendukung K yang ditentukan oleh l; oleh karena itu,
AK. Karena setiap titik dalam komplemen K juga dalam komplemen K ', K' CK;
karenanya, K = K '. Dalam bukti ini, keberadaan garis pendukung I tidak terbukti. Lihat
Latihan 20 dalam Latihan 3.2

Gambar 3.21
 LATIHAN 3.2

Untuk Latihan 1-8, beri tahu apakah garisnya mendukung atau tidak, garis yang
ditetapkan

Set Line

1. Wilayah melingkar Garis melalui pusat

2. Lingkaran lingkaran Garis singgung

3. Wilayah kotak bujur sangkar Garis yang mengandung sisi

4. Wilayah kotak sangkar Garis yang berisi diagonal garis bujur

5. Wilayah cembung poligonal Garis yang mengandung satu sisi

6. Daerah cembung poligonal Bersinggungan pada titik

7. Wilayah poligonal cembung Garis yang mengandung diagonal

8. Wilayah polginal cembung tegah Garis yang menghubungka titik

dua sisi

Untuk Latihan 9-12, jelaskan titik-titik reguler dan titik sudut untuk masing-masing set:

9. Wilayah melingkar
10. Wilayah kuadrat
11. Sudut dan ukuran interiornya kurang dari π
12. Wilayah poligon cembung
13. Gunakan Teorema 3.5 untuk memberikan definisi

a. Suatu daerah segitiga b. Wilayah polygon yang cembung.

14. Gambarlah tiga set nonconvex dan perlihatkan satu titik pada batas masing-
masing yang tidak dilewati garis pendukung.
15. Nyatakan konvers, invers, dan kontrapositif dari syarat kedua dalam Teorema 3.3.
16. Buktikan bahwa setiap sudut bagian dalam suatu daerah poligon cembung
memiliki ukuran kurang dari π.
17. Buktikan bahwa kerucut singgung ke set cembung pada titik batas itu sendiri
merupakan set cembung.
18. Buktikan bahwa jika A adalah titik interior set cembung K dan B adalah titik K
lainnya, maka setiap titik dalam ⃡⃗⃗⃗⃗
𝐴𝐵 (𝐴𝐵̅̅̅̅ kecuali untuk titik B) adalah titik interior
K. (Petunjuk: Gunakan Teorema 3.4, bagian a.)
19. Buktikan bahwa jika A dan B adalah titik batas dari set cembung K serta titik K,
maka ⃡⃗⃗⃗⃗
𝐴𝐵 (𝐴𝐵̅̅̅̅ tanpa titik akhir) seluruhnya di bagian dalam K atau ⃡⃗⃗⃗⃗
𝐴𝐵 sepenuhnya
di batas K.
20. Biarkan A menjadi titik dalam komplemen K, himpunan cembung tertutup
pesawat yang merupakan himpunan bagian yang tepat dari sebuah pesawat, dan
biarkan B menjadi titik K yang terdekat dengan A. Buktikan keberadaan garis
pendukung untuk K .pada B yang tegak lurus terhadap ̅̅̅̅
𝐴𝐵 .
21. Ambil contoh spesifik dan jelaskan perbedaan antara konsep garis singgung dan
garis pendukung.
3.3. Badan Cembung di Dua-Ruang

Banyak set titik umum dari geometri Euclidean adalah set cembung. Banyak
dari ini adalah tipe khusus dari set cembung yang disebut badan cembung.

DEFINISI : badan cembung adalah seperangkat titik cembung yang tertutup,

terikat, kosong, dan memiliki titik interior.

Contoh badan cembung termasuk daerah cembung poligonal dan daerah

melingkar. Di sisi lain, bagian dalam parabola, garis, dan seluruh bidang adalah set
cembung yang bukan badan cembung.

Teorema berikut memberikan karakteristik penting dari badan cembung dua

dimensi.

TEOREMA 3.6 Kurva tertutup sederhana S dan bagian dalamnya membentuk

badan cembung K jika dan hanya jika setiap garis melalui titik interior K
memotong S tepat pada dua titik.

a) Jika kurva tertutup sederhana S adalah batas tubuh cembung K, maka setiap garis
melalui titik interior K memotong S tepat dalam dua titik.

⃗⃗⃗⃗⃗
Lihat Gambar 3.22. Misalkan A menjadi titik interior K. Semua sinar 𝐴𝑃
memotong K dalam segmen ⃗⃗⃗⃗⃗
𝐴𝐵 . Ini benar karena perpotongan dua himpunan cembung
̅̅̅̅ adalah badan cembung satu dimensi. Tetapi 𝐴𝐵
adalah himpuan cembung. 𝐴𝐵 ̅̅̅̅̅′ (B', A,
dan B collinear) juga memotong K dalam segmen ̅̅̅̅̅
𝐴𝐵 ′ , dan B' adalah yang kedua dari dua
titik batas pada garis melalui A. Argumen dalam paragraf ini tidak termasuk semua detail
dibutuhkan untuk bukti lengkap. Kita juga harus menunjukkan bahwa garis ⃡⃗⃗⃗⃗
𝐴𝐵
memotong S tidak lebih dari dua titik; bagian dari buktinya tidak termasuk.
 Gambar 3.22

b) Jika setiap garis melalui setiap titik interior K memotong kurva tertutup sederhana
S dalam tepat dua titik, maka S adalah batas badan cembung K (Dapat dikatakan
bahwa kontrapositif kondisional kedua ini, yang secara logis setara dengan
kondisional. Kontrapositif menyatakan bahwa jika K adalah nonconvex, maka
beberapa garis melalui titik interior K tidak memotong batas S tepat dalam dua
titik.)

Pada Gambar 3.23, jika K adalah nonconvex, titik interior A dan B dapat
̅̅̅̅ adalah titik eksterior. Maka dapat
ditemukan sedemikian rupa sehingga C pada 𝐴𝐵
̅̅̅̅. Sinar 𝐷𝐴
diasumsikan bahwa titik batas D dan E untuk K ada pada 𝐴𝐵 ⃗⃗⃗⃗⃗ juga memiliki

titik batas ketiga F, sehingga ̅̅̅̅

𝐴𝐵 memotong S setidaknya dalam tiga titik.

Gambar 3.23

Teorema lain tentang benda cembung dan batasnya diasumsikan di sini. Sebuah
bukti muncul di Benson, Euclidean Geometry and Convexity (lihat daftar pustaka).

TEOREMA 3.7 : Batas tubuh cembung dalam dua ruang adalah kurva tertutup
sederhana
 Tentu saja, kebalikan dari Teorema 3.7 tidak benar, karena kurva tertutup
sederhana mencakup berbagai macam bentuk selain yang cembung. Kondisi lain untuk
menentukan apakah kurva tertutup sederhana tertentu adalah batas benda cembung
disediakan oleh teorema berikutnya.

TEOREMA 3.8  Kurva tertutup sederhana S adalah batas dua dimensi wilayah
cembung K jika dan hanya jika setiap poligon tertutup = PoP ... P Po ditentukan
oleh titik-titik berturut-turut pada S adalah batas wilayah poligonal cembung.

Teorema diilustrasikan pada Gambar 3.24. Setiap wilayah poligon yang tertulis
dalam kurva tertutup sederhana pada Gambar 3.24a akan menjadi cembung. Untuk kurva
tertutup pada Gambar 3.24b, namun demikian, beberapa daerah poligon tertulis, seperti
yang ditunjukkan, adalah bukan cembung.

Gambar 3.24

Bukti dari hanya jika bersyarat Teorema 3.8 melibatkan menunjukkan bahwa pelygon
yang diinskripsi untuk bidang cembung memiliki garis pendukung pada setiap titik.

Membiarkan menjadi garis yang mengandung satu sisi AB dari poligon tertulis.
Karena K adalah cembung, AB  K, sehingga AB hanya berisi titik S atau hanya titik
interior K (Latihan 19, Latihan 3.2). Jika AB mengandung titik oaly S, maka ia dapat
mengandung titik T yang lebih rendah dan merupakan garis pendukung untuk K dan T.
Jika AB berisi bagian dalam titik K, seperti pada Gambar 3.25, maka S dipartisi menjadi
dua kurva yang terletak di seberangnya sisi 1. Semua simpul T terletak pada satu bidang
setengah H yang didukung dengan 1, karena sebaliknya A dan B tidak akan menjadi
simpul yang berurutan. Kemudian adalah garis pendukung untuk H n K, dan dengan
demikian merupakan garis pendukung untuk T dan interiornya. Setiap titik T memiliki
garis pendukung melewatinya, sehingga 7 adalah batas poligonalregion cembung.

Gambar 3.25

Bukti pernyataan jika dapat dicapai dengan menunjukkan bahwa, jika himpunan K
dengan batas 5 tidak cembung, maka ada segi empat bertuliskan yang bukan vundary dari
daerah cembung. Segi empat seperti itu digambarkan sebagai ABCD pada Gambar 3.26,
rincian buktinya dibiarkan sebagai Latihan 15 dari Latihan 3.3.

Dua teorema lainnya merupakan properti khusus dari panjang batas dua badan
cembung.

Gambar 3.26
DEFINISI : Panjang kurva tertutup sederhana adalah batas paling atas dari semua
kurva poligonal tertulis. Ingat bahwa batas paling atas dari serangkaian nomor nyata
adalah jumlah nyata terkecil yang lebih besar dari atau sama dengan masing-masing
jumlah set. Panjang batas suatu wilayah disebut garis keliling wilayah tersebut.

TEOREMA 3.9. : jika K1 dan K2 adalah daerah poligon cembung dengan K1 

K2. maka perimeter K1 kurang dari atau sama dengan perimeter K2.

BUKTI : biarkan simpul K1 menjadi, dalam urutan, Po. Pi… Pn. dan biarkan Ii.i =
1,…,n, menjadi garis melalui Pi dan Pi-1. Gambar khas ditunjukkan pada Gambar
3.27 untuk membantu dengan ini dan notasi berikut. Misalkan Si jadilah wilayah
poligon sehingga Si = H  Si-1. i = 1, .....,n, di mana H adalah bidang-setengah
pendukung K1 dengan batas dan Jadi adalah wilayah yang lebih besar dengan batas
K2. Pada Gambar 3.27, Si = H  So Jadi diarsir. Karena AB <(AC + CD + DB),
perimeter Si < So. Untuk semua i dari 1 hingga n,

perimeter Si ≤ S perimeter Si-1

Karena batas S, adalah batas Ki,

Perimeter K1 ≤ pelimeter K2

TEOREMA 3.9 dapat digeneralisasikan dari daerah poligon ke badan cembung.

TEOREMA 3.10 jika K1, dan K2 adalah badan cembung dua dimensi dengan KS
Ka, kalau begitu

perimeter K1 ≤ perimeter K
 Gambar 3.27

Pada Gambar 3.28, misalkan A menjadi titik interior K. Setiap sinar dengan titik
akhir A memotong batas K dan K2 berpasangan pada titik-titik yang sesuai, seperti B dan
B '. Ada satu-0-satu korespondensi antara poligon yang tertulis dalam Ki dan poligon
yang tertulis dalam K2, ditentukan dengan memilih simpul yang sesuai dengan garis lurus
dengan A dan di sisi yang sama dari A. Misalnya, BCDEF dipasangkan dengan B'C'D
'E'F. Karena masing-masing poligon S, dari Ki terkandung dalam S2 yang sesuai S2 dari
K2, dari Teorema 3.9, panjang S, kurang dari atau sama dengan panjang S2. Batas
tertinggi memenuhi ketimpangan.

batas atas paling sedikit dari S1, batas atas paling sedikit dari S2

perimeter Ki kurang dari atau sama dengan perimeter K2.

Gambar 3.28
 Salah satu aplikasi modern penting dari teori badan cembung (cembung poligon
region dalam kasus ini) adalah dalam pemrograman linier. Gagasan dasar yang menjadi
dasar pemrograman linear adalah nilai maksimum dan minimum dari fungsi linear
didefinisikan untuk semua titik pada daerah poligon cembung terjadi pada titik-titik
poligon. SEBUAH penjelasan singkat tentang teori, dan contoh, diperlukan di sini untuk
membuat aplikasi bermakna. Untuk studi menyeluruh tentang pemrograman linier, lihat,
misalnya, Leon Cooper dan David Steinburg, Metode dan Aplikasi Pemrograman Linear,
diterbitkan oleh W. B. Saunders, Philadelphia, 1974.

Untuk menggunakan contoh yang sangat sederhana, anggaplah suatu perusahaan

merencanakan produksinya untuk keuntungan maksimum dan mereka hanya menjual dua
jenis barang, dengan harga berbeda. Pembatasan pembatasan lainnya selain harga jual
harus dipertimbangkanmisalnya, jumlah jam yang dibutuhkan untuk memproduksi setiap
item dan ketersediaan mesin dan tenaga kerja. Masalahnya adalah memutuskan berapa
banyak dari masing-masing barang yang akan diproduksiuntuk keuntungan maksimum.

Dari sudut pandang matematika, masalahnya adalah untuk menemukan nilai untuk
x dan y yang akan memaksimalkan fungsi linear dari bentuk kapak + oleh + c, di mana x
dan y hanya dapat mengambil nilai-nilai tertentu karena pembatasan. Teorema umum
yang menjadi dasar aplikasi (Teorema 3.11) dinyatakan tanpa bukti.

TEOREMA 3.11 Jika fungsi ax + by + c didefinisikan untuk setiap titik wilayah

poligon cembung, nilai maksimum terjadi untuk koordinat satu titik, dan nilai
minimum terjadi untuk koordinat titik lainnya.

Contoh Untuk menghasilkan jenis barang pertama dengan untung S50, mesin
pertama harus digunakan selama satu jam dan mesin kedua dari dua jam. Untuk
menghasilkan item jenis kedua dengan untung S40, mesin pertama harus digunakan
selama satu jam dan mesin kedua selama satu setengah jam. Setiap mesin tidak dapat
dioperasikan lebih dari 12 jam sehari. Berapa banyak setiap item seharusnya diproduksi
setiap hari dengan laba maksimum?

Jika x mewakili jumlah jenis barang pertama per hari dan y mewakili jumlah jenis
barang kedua per hari untuk keuntungan maksimum, lalu
 X≥0

Y ≥0

Ketidaksetaraan, yang menyatakan pembatasan waktu untuk mesin, adalah:

Mesin pertama x + y + 12

Mesin kedua 2x + ys 12

Masing-masing dari empat ketidaksetaraan diwakili dalam Gambar 3.29 sebagai

setengah-pesawat tertutup, persimpangan empat set cembung ini adalah daerah cembung
poligonal ABCD.

Gambar 3.29

Sebagai contoh, fungsi yang memberi untung adalah f-50r + 40y, dan nilai pada
simpul polygon:

At A(0,0) f=0
At B(0,12) f = 480
At C(4,8) f = 520
At D(6,0) f = 300
 Untuk keuntungan maksimum, perusahaan harus membuat empat item pertama dan
cight yang kedua.

Keuntungannya adalah 5.520 per hari. Aplikasi terbaru dari konveksitas adalah
dalam grafik komputer, wilayah poligon tertentu lebih sederhana daripada yang lain untuk
diisi dengan warna: Selain konveks dan nonkonversi, kategori ketiga, horisontal-konveks,
diperkenalkan. Sebagai contoh, daerah pada Gambar 3.30a disebut horiz0ntal-cembung.
Dalam hal ini, persimpangan setiap garis horizontal dengan wilayah adalah titik atau
segmen. Ini tidak benar untuk poligon nonconveK pada Gambar 3.30b. Untuk covex dan
poligon cembung horisontal, satu algoritma untuk mengisi bentuk dengan warna
tergantung pada memeriksa setiap garis horizontal. Proses ini disederhanakan karena
paling tidak ada satu segmen yang perlu dipertimbangkan.

Gambar 3.30

LATIHAN 3.3
 Untuk Latihan 1-10, tunjukkan set mana yang merupakan badan covex. Untuk setiap
set yang tidak tentu badan cembung, jelaskan mengapa tidak.

1. Wilayah segitiga

2. Baris

3. Sudut dan bagian dalamnya

4. Lingkaran

5. bidang setengah

6. Nonempty persimpangan dua set cembung

7. Ray

8. Wilayah poligon cembung

9. Wilayah melingkar dengan satu titik batas hilang

10. Persimpangan dua badan cembung

11. Untuk benda cembung, sinar dengan titik interior sebagai titik ujungnya
memotong garis batas benda cembung dalam berapa banyak titik?

12. I persimpangan dua daerah lingkaran sedemikian rupa sehingga mengandung

lebih dari satu titik, apakah persimpangan selalu berupa badan cembung?

13. Apakah batas badan cembung selalu merupakan kumpulan cembung?

14. Lepaskan dua contoh untuk menunjukkan bahwa Teorema 3.8 tidak berlaku jika
titik P tidak berturut-turut.

15. Lengkapi bukti Teorema 3.8.

16. ketch dua contoh untuk menunjukkan bahwa Teorema 3.9 tidak selalu berlaku
jika ada yang noncomvex

17. Jelaskan semua kemungkinan tubuh cembung satu dimensi.

18. Tunjukkan bahwa badan pesawat covex memiliki garis singgung pada titik batas
A jika dan hanya jika ada tepat satu garis pendukung untuk tubuh di A.
19. Kerjakan kembali contoh yang diberikan untuk pemrograman linier dengan
kondisi berikut: untuk item pertama, mesin pertama harus dijalankan dua jam
dan mesin kedua tiga jam; keuntungan pada item pertama adalah S90 per item.

20. Arancher memiliki ruang untuk 300 sapi. Dia ingin tidak lebih dari 200 jenis. Jika
ia mendapat untung S40 dari Hereford dan S50 dengan Black Angus, berapa
banyak masing-masing yang harus ia hasilkan untuk mendapatkan laba
maksimum?

21. Pelajari bukti Teorema 3.11 dalam sebuah teks tentang pemrograman linier

22.Menemukan dan memecahkan contoh pemrograman linier yang mirip dengan

yang diberikan Teorema 3.11 berikut, tetapi dengan lebih dari empat
ketidaksetaraan

23. Selidiki metode simpleks untuk memecahkan masalah yang lebih kompleks
dalam pemrograman lincar

24. Buat sketsa beberapa contoh tambahan daerah poligonal yang horisontal-coDvex
tetapi bukan comvex Selidiki algoritma komputer untuk mengisi wilayah
tersebut

25. Bagian selanjutnya, tentang tubuh cembung dalam tiga ruang, memiliki banyak
gagasan yang analog dengan yang sudah dikembangkan untuk dua ruang. Apa
yang dapat Anda temukan tentang comvexbodies dalam tiga ruang, sebelum
mempelajari bagian ini?