##  [Kochen–Specker-Satz](/de/node/50748) 

 Definition

Ein No-Go-Theorem, das die Unmöglichkeit zeigt, allen Projektionsobservable in einem Hilbertraum der Dimension mindestens drei nichtkontextuelle eindeutige Werte (0 oder 1) zuzuschreiben, wobei funktionale Relationen erhalten bleiben sollen; es beweist, dass Messergebnisse nicht unabhängig vom Messkontext vorab zugewiesen werden können.

 

 

 

 

 

 





## Prinzip

Prinzip

Nichtkontextuelle verborgene Variablen-Zuweisungen, die algebraische Relationen zwischen Observablen respektieren, sind mit der Projektorstruktur höherdimensionaler Hilberträume unvereinbar; daher ist Kontextualität erforderlich, wenn deterministische Wertezuteilungen gewahrt bleiben sollen.

 

 

 

 

 





## Demonstration

Demonstration

Man konstruiert eine endliche Menge von Projektionsoperatoren (eine Kochen–Specker-Konfiguration) in einem dreidimensionalen Hilbertraum, so dass jeder Versuch, 0/1-Werte konsistent über die Menge zuzuweisen, zu einem Widerspruch führt; explizite Orthogonalitätsgraphen liefern das konkrete Hindernis.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Den Satz so zu verwenden, dass er alle Formen verborgener-Variablen-Theorien ausschließt — Kochen–Specker verbietet nur nichtkontextuelle deterministische Zuweisungen, die funktionale Relationen erhalten, nicht aber kontextuelle oder stochastische Modelle oder Ontologien außerhalb des Standardformalismus.

 

 

 

 

 





## Konsequenz

Konsequenz

Stellt Kontextualität als fundamentales Merkmal der Quantenmechanik für Dimensionen ≥ 3 fest und schränkt realistische Rekonstruktionen ein, die Messergebnisse unabhängig vom Messkontext vorab festlegen wollen.

 

 

 

 

## Umkehrung

Umkehrung

Erlaubt man kontextabhängige Wertezuweisungen oder schwächt man die Forderung, alle funktionalen Relationen zu erhalten, so werden konsistente Zuweisungen möglich und die Kochen–Specker-Blockade entfällt.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für projektive Messungen in Hilberträumen der Dimension drei oder mehr und für Modelle, die nichtkontextuelle Wertabbildungen respektierend funktionale Komposition verlangen; gilt nicht unmittelbar für verallgemeinerte Messungen (POVMs) ohne Übersetzung, noch für klassische Systeme.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Es besteht Spannung zu Interpretationen, die Kontextualität mit Beobachterabhängigkeit oder bloßer epistemischer Unsicherheit verwechseln; Kochen–Specker ist eine strukturelle Aussage über Wertezuweisungen und lässt offen, ob Kontextualität ontisch oder operationell zu verstehen ist.

 

 

 

 

 





## Synthese

Synthese

Der Kochen–Specker-Satz zeigt, dass in ausreichend reichen Hilberträumen keine konsistente globale Zuweisung definiter, nichtkontextueller Werte zu Projektionsobservable existiert, die funktionale Relationen bewahrt; dies zwingt zu Kontextualität oder anderen Abschwächungen in jedem realistischen Versuch deterministischer Vorabzuweisungen.