Di sini: http://www.planarity.org/Klein_elementary_graph_theory.pdf (dalam bab embeddings) diberi definisi embedding kombinatorial dari grafik planar. (dengan definisi wajah dan sebagainya) Meskipun dapat dengan mudah digunakan untuk grafik apa pun, mereka mendefinisikan grafik planar sebagai grafik, yang dipegang oleh rumus Euler (dengan asumsi bahwa grafik terhubung). Cukup dapat dimengerti bahwa untuk setiap grafik bidang , definisi wajah dalam penanaman kombinatorial mirip dengan definisi wajah dalam penanaman topologi. (dengan asumsi grafik terhubung. Kalau tidak, dalam embedding kombinatorial kita akan memiliki wajah tanpa batas untuk setiap komponen yang terhubung)
Pertanyaannya adalah: jika untuk beberapa graf yang terhubung, penyertaan kombinatorial memenuhi rumus Euler, apakah ini berarti bahwa grafik ini adalah planar dalam arti topologis (memiliki penyematan bidang, yaitu grafik bidang )?
Jawaban:
Ini benar-benar kurang tentang grafik per se dan lebih banyak tentang topologi. Embedding kombinatorial mendefinisikan 2-manifold, ruang topologi di mana setiap titik memiliki lingkungan homeomorfik ke disk terbuka 2-dimensi: penanaman memungkinkan wajah untuk didefinisikan, dan kita dapat mendefinisikan ruang topologis dengan memilih disk untuk masing-masing hadapi dan tempelkan bersama di sepanjang tepi grafik. Teorema terkenal dalam topologi (disebut klasifikasi 2-manifold) memberi tahu kita dengan tepat 2-manifold mana yang mungkin, dan mereka semua dapat dibedakan satu sama lain baik oleh apakah mereka berorientasi atau apakah mereka memiliki karakteristik Euler yang sama (atau keduanya ) - lihat http://www.maths.ed.ac.uk/~aar/surgery/zeeman.pdfuntuk beberapa catatan kuliah yang masuk akal tentang hal ini, itu termasuk bukti yang Anda minta. Tidak ada manifol 2 lainnya dalam klasifikasi ini yang memiliki karakteristik Euler yang sama dengan bola, jadi jika Anda menghitung karakteristik Euler dan menemukan bahwa itu cocok dengan rumus untuk bola, Anda tahu penyematan Anda harus ke bola.
Menemukan embedding dengan koordinat geometris yang sebenarnya di pesawat, setelah Anda memiliki embedding kombinatorial planar, tidak sepenuhnya sepele tetapi dapat dilakukan misalnya menggunakan teori hutan Schnyder. Saya punya beberapa catatan kuliah tentang ini di http://www.ics.uci.edu/~eppstein/gina/schnyder/ misalnya.
sumber