Алгебра фон Неймана равномерная

Оператор проектирования Р из алгебры фон Неймана называется минимальным (другие названия точка или атом), если Р ФО п если из того, что Q е 9 , причем Q<3 S РЖ, следует , что оператор проектирования Q совпадает либо с О, либо с Р. Из изложенной выше классификации факторов, а также из общих свойств относительной размерности ясно, что фактор допускает минимальные операторы проектирования в том и только в том случае, если он дискретен. Кстати сказать, это утверждение остается в силе [77, гл. 1, 8, п. 3, следствие 1] для общих алгебр фон Неймана. Данное обстоятельство свидетельствует о серьезном недостатке тех подходов, использующих исчисление высказываний, которые основаны на предположении о существовании минимальных операторов проектирования. Для физика может представить интерес тот факт, что еще фон Нейман высказывал (хотя, насколько можно судить, и без достаточных оснований) предположение о том, что в физике могут встретиться факторы не только типа I, но и других типов. Фон Нейман считал особенно вероятным появление факторов типа П,, указывая на то, что на этих факторах (так же, как и на факторах типа 1 ) существует относительная размерность, нормированная к 1. Следовательно, на множестве всех операторов проектирования факторов типа П можно ввести определение конечной равномерной априорной вероятности. Как мы увидим позднее, другие факторы действительно встречаются в различных конкретных физических моделях. [c.176]

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

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