Chhwe (chhwe) wrote,
Chhwe
chhwe

Category:

Краткое введение в теорию констрикций

Федор показывает Максиму конспект:

«Класс Y называется шизоидом, если его элементы — только хазоиды (состоит из хазоидов) и не есть Ø.

Шизоид W называется особым шизоидом, если среди его элементов есть особые хазоиды, и неособым в противном случае.

Класс называется антишизоидом, если среди его элементов нет хазоидов.

Лемма (Венявского)

1. Существует антишизоид, являющийся хазоидом (Ø).

2. Существует антихазоид, являющийся шизоидом (равносильно тому, что среди хазоидов есть два различных элемента. Но они есть: Ø и неособый хазоид).

Итак, утверждение о том, что существуют два различных неособых хазоида можно сформулировать так:

Существует антихазоид, являющийся неособым шизоидом.

В самом деле, если бы такого антихазоида не было, то каждый шизоид (неособый) был бы хазоидом, а, следовательно, состоял бы из одного элемента, следовательно, существовал бы один и только один неособый хазоид.

С другой стороны, существование такого антихазоида влечёт существование неособого шизоида, не являющегося неособым или особым хазоидом, а, следовательно, имеющего более одного элемента; следовательно, среди неособых хазоидов есть различные.

Далее, существование двух различных неособых хазоидов, очевидно, влечёт за собой существование антихазоида, так, например, если X и Y два различных неособых хазоида, то Z={X,Y}, будучи неособым шизоидом, не будет являться хазоидом, т. к. среди его элементов есть по крайней мере один, отличный от Z».
Tags: adv. math., maxim, луноход-3
Subscribe

Posts from This Journal “луноход-3” Tag

  • Развивая гениальную мысль Прохныча:

    Главное произведение искусства — это его стоимость.

  • (no subject)

    «Искусственный интеллект — это не так называемый модный хайп, не престижное веяние, которое завтра-послезавтра выветрится, пройдет», — отметил…

  • Тим и Со

    — это ведь Голем и Честная Энни, сказал Максим. Он подзадержался, а она уже удрала.

  • Post a new comment

    Error

    Comments allowed for friends only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments