Es gibt viele Ergebnisse, für die ein konstruktiver Beweis existiert, der aber nicht so schön ist wie der nicht-konstruktive Beweis. Zum Beispiel ist die explizite Konstruktion einer stetigen, nirgendwo differenzierbaren Funktion ziemlich technisch im Vergleich zum Existenzbeweis unter Berufung auf den Baire-Kategoriensatz.
Was sind Ihre bevorzugten nicht-konstruktiven Beweise oder Methoden?
Ich habe schon immer gemocht:
Behauptung: Es gibt irrationale Zahlen , möglicherweise gleich, so dass ist vernünftig.
Pf: Bedenke . Wenn es rational ist, dann sind wir fertig. Wenn es irrational ist, dann nenne es und bedenke . Und wir sind fertig.
Strategy Stealing ist ein weiteres klassisches Beispiel, das auf eine Reihe von rundenbasierten Spielen zutrifft. Es zeigt, dass entweder immer der erste Spieler gewinnt oder dass das Spiel unentschieden endet, vorausgesetzt, dass beide Seiten perfekt spielen. Die Beweise weisen die fraglichen Strategien nie wirklich auf.
Nehmen Sie zum Beispiel Tic Tac Toe (auf einem beliebig großen Brett der Größe ). Angenommen, Spieler 2 hat eine Gewinnstrategie , unabhängig vom ersten Zug von Spieler 1. Dann machen wir eine Reihe von Beobachtungen:
1) Unabhängig davon, wo Spieler 1 zuerst spielt hat Spieler 2 vermutlich eine Gewinnstrategie, die von der Position des ersten abhängt .
2) Es ist nie ein Nachteil, eine Ihrer Figuren bereits auf dem Brett zu haben, dh wenn Spieler 1 bereits eine hat auf einem gegebenen Feld, dann kann das nicht schlimmer sein, als kein zu haben auf diesem Platz.
3) Zu 1) kann Spieler 1 die Strategie von Spieler 2 übernehmen, indem er zufällig ein setzt , und dann, nachdem Spieler 2 mit seiner Strategie geantwortet hat , trifft Spieler 1 zu auf die Antwort von Spieler 2, mit Und geschaltet. Wenn jemals anruft, um auf dem ersten zu spielen die Spieler 1 platzieren musste, dann kann Spieler 1 einen zufälligen Zug um 2 machen).
Spieler 2 kann also unmöglich eine Gewinnstrategie haben , was bedeutet, dass entweder Spieler 1 immer gewinnt oder das Spiel immer unentschieden endet.
Schreien Sie nach Brouwers Fixpunkttheorem, und sei es nur, weil Brouwers anderer Hauptanspruch auf Ruhm darin besteht, ein so strenger Konstruktivist zu sein.
Michael
Rushab Mehta
Noah Schweber
Dave L. Renfro