Σήμερα κάναμε μια μικρή επανάληψη των εννοιών που είχαν καλυφθεί στο προηγούμενο μάθημα.
Μιλήσαμε επίσης για δέντρα. Αυτά είναι μια πολύ ειδική και σημαντική κατηγορία από κατευθυνόμενα γραφήματα.
Ένα δέντρο απεικονίζεται στο παρακάτω σχήμα.
Δείξαμε επίσης σήμερα το εξής:
Απόδειξη 1η:
Αυτή γίνεται με τη μέθοδο της επαγωγής ως πρός .
Η βασική περίπτωση είναι φυσικά η
. Υπάρχει όμως μόνο
ένα δέντρο με μια κορυφή, και φυσικά αυτό δεν έχει καμιά
ακμή, αφού δεν υπάρχει άλλη κορυφή. Άρα το θεώρημα ισχύει σε αυτή
την περίπτωση.
Αποδεικνύουμε τώρα το επαγωγικό βήμα. Υποθέτουμε δηλ. ότι
αν ένα δέντρο έχει το πολύ κορυφές τότε ισχύεει το θεώρημα και χρησιμοποιούμε
αυτή την υπόθεση για να δείξουμε την πρόταση για το τυχόν δέντρο με
κορυφές. Έστω
ένα τέτοιο δέντρο, και έστω
,
,
οι απόγονοι της ρίζας. Με άλλα λόγια αυτές είναι οι κορυφές στο επίπεδο 1.
Για κάθε
τώρα
παρατηρούμε τώρα ότι το γράφημα που προκύπτει από το
αν κρατήσουμε
μόνο τις κορυφές
και τους απογόνους της είναι ένα δέντρο με ρίζα
την κορυφή
.
Αυτό το δέντρο, έστω
, ονομάζεται το υποδέντρο του
με ρίζα το
,
και είναι φανερό ότι τα
αυτά υποδέντρα είναι μεταξύ τους ξένα, δε
μοιράζονται δηλ. κορυφές ή ακμές.
Αν με συμβολίζουμε το σύνολο των κορυφών του γραφήματος
και
με
το σύνολο των ακμών του
, αυτό που θέλουμε
να δείξουμε είναι
Ισχύουν όμως προφανώς (αφού τα είναι ξένα μεταξύ τους)
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
Απόδειξη 2η:
Το σύνολο των ακμών μπορεί να έρθει σε αμφιμονοσήμαντη αντιστοιχία
με το σύνολο των κορυφών πλην της ρίζας, αντιστοιχίζοντας σε κάθε
ακμή την κορυφή
. Η απεικόνιση αυτή είναι 1-1 και επί αφού ακριβώς
μια ακμή καταλήγει σε κάθε κορυφή πλην της ρίζας.
Άρα τα δύο αυτά σύνολα είναι ισοπληθικά, δηλ. το πλήθος των ακμών
είναι ίσο με αυτό των κορυφών πλην ένα.