Изменения

Перейти к: навигация, поиск

Класс P

2 байта добавлено, 02:31, 3 июня 2012
м
Свойства класса P
{{Лемма
|statement =
<tex>D \subset subseteq \mathrm{P} \Rightarrow \mathrm{P}=\mathrm{P}^D</tex>. В частности, из этого следует, что <tex>\mathrm{P}=\mathrm{P^P}</tex>.
|proof =
Очевидно, что <tex>\mathrm{P} \subset \mathrm{P}^D</tex>. Докажем, что <tex>\mathrm{P}^D \subset \mathrm{P}</tex>.
editor
177
правок

Навигация