Аксиома слабой примитивной причинности

Был сфорхмулирован [41, 82, 281] ряд алгебраических условий, эквивалентных условию существования ковариантного представления упорядоченной пары (Я, К ), удовлетворяющего спектральному условию, и было доказано [89], что эти условия не зависят от остальных аксиом (т. е. аксиом изотонности, локальной коммутативности и К -ковариантности) теории, даже если теорию ограничить, потребовав дополнительно, чтобы алгебра К была простой и удовлетворяла аксиоме сечения времени (т. е. если А — область пространства Минковского Ш, заключенная между двумя гиперплоскостями ( , и ( 2, К ), то чтобы семейство 01 (О) 1 й е й, й с= А) уже порождало алгебру Ш эту аксиому иногда называют аксиомой слабой примитивной причинности [163]). [c.370]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...