Математический форум Math Help Planet
http://mathhelpplanet.com/

Аксиоматическая теория множеств Цермело-Френкеля
http://mathhelpplanet.com/viewtopic.php?f=62&t=55466
Страница 2 из 2

Автор:  ivashenko [ 20 авг 2017, 11:58 ]
Заголовок сообщения:  Re: Аксиоматическая теория множеств Цермело-Френкеля

Kirill1986 писал(а):
Вроде как все и понятно теперь. Рассмешили, конечно, что пьяный мужик - это пустое множество (это если вместо "1" использовать "пьяного мужика"). Но если не использовать "нематематические" множества, то зачем тогда теория ZF нужна в математике?


Она рассматривает структуры, состоящие из пустых множеств и операции над ними, эти структуры могут быть по необходимости мысленно заполнены чем угодно, хоть пьяным мужиками, хоть трезвыми.

Kirill1986 писал(а):
Подумать только! В арифметике (теории чисел, анализе) любой элемент множества натуральных (целых, рациональных, вещественных, комплексных, простых, иррациональных, алгебраических, трансцендентных и т. п.) чисел - пустое множество!

Не пустые множества, а структуры, состоящие из пустых множеств. Причем различным числам соответствуют различные структуры. А Вы хотели бы строить арифметику, теорию чисел и анализ на основе пьяных мужиков?

Kirill1986 писал(а):
Больше того, поскольку 1 - это пустое множество и π
π - тоже пустое, то, если я не напутал, 1= π
(!) А, ну да! Забыл! Вообще все комплексные (да и гиперкомплексные вместе с ними) числа равны друг другу! Прикончим математику!!! FINISH HIM!!!

Это не так и прикончить математику вообще у Вас не получится, но Вы можете прикончить её в своей голове.

Автор:  ivashenko [ 20 авг 2017, 12:06 ]
Заголовок сообщения:  Re: Аксиоматическая теория множеств Цермело-Френкеля

Kirill1986 писал(а):
Если теория ZF была создана для устранения антиномий канторовской теории множеств, то сама ZF привела к появлению новых проблем, описанных в предыдущем моем сообщении.


Нужно добавлять: "Привела меня".

Автор:  3D Homer [ 20 авг 2017, 12:39 ]
Заголовок сообщения:  Re: Аксиоматическая теория множеств Цермело-Френкеля

Kirill1986 писал(а):
Но если не использовать "нематематические" множества, то зачем тогда теория ZF нужна в математике?
В ZF можно определить множества, которые будут хорошо моделировать все математические структуры: различные классы чисел, функции, алгебраические структуры и т.д. Считается, что всю современную математику можно изложить на языке множеств.

Kirill1986 писал(а):
В арифметике (теории чисел, анализе) любой элемент множества натуральных (целых, рациональных, вещественных, комплексных, простых, иррациональных, алгебраических, трансцендентных и т. п.) чисел - пустое множество!
Я этого не говорил. Для любого множества [math]x_1[/math] имеется цепочка [math]x_1\ni x_2\ni\dots \ni x_n\ni\emptyset[/math], но в общем случае неверно, что [math]\emptyset\in x_1[/math]. В множестве натуральных чисел действительно присутствует пустое множество как элемент: оно моделирует число 0. (В логике натуральные числа обычно начинаются с нуля.) Остальные элементы другие.

Kirill1986 писал(а):
Больше того, поскольку 1 - это пустое множество и π - тоже пустое, то, если я не напутал, 1= π
Это тоже не говорилось. Число 1 обычно моделируется множеством [math]\{\emptyset\}[/math] (Википедия).

Автор:  Kirill1986 [ 20 авг 2017, 15:53 ]
Заголовок сообщения:  Re: Аксиоматическая теория множеств Цермело-Френкеля

Всем большое спасибо. Я пока отлучусь, т. к. не могу вести сейчас переписку. Позднее обязательно отвечу.

Автор:  Kirill1986 [ 20 авг 2017, 21:47 ]
Заголовок сообщения:  Re: Аксиоматическая теория множеств Цермело-Френкеля

Пожалуй, я продолжу.

Моя цитата.
Kirill1986 писал(а):
Подумать только! В арифметике (теории чисел, анализе) любой элемент множества натуральных (целых, рациональных, вещественных, комплексных, простых, иррациональных, алгебраических, трансцендентных и т. п.) чисел - пустое множество!

Вот что мне ответили.
ivashenko писал(а):
Не пустые множества, а структуры, состоящие из пустых множеств. Причем различным числам соответствуют различные структуры.

Я, если честно, не уверен точно в том, что Вы правы. У меня недостаточно знаний по теории множеств для этого. Я, пожалуй, соглашусь с Вами, что натуральным числам вполне возможно биективно сопоставить то, что Вы называете "структурами из пустых множеств". Но для целых, рациональных, вещественных и комплексных чисел я на данный момент не знаю, можно ли это строго сделать. Мне известно, как в арифметике происходит конструирование кольца целых чисел на основе теории пар, поля рациональных чисел на основе той же теории пар, поля вещественных чисел опять на основе теории пар и наконец, поля комплексных чисел. Я, к сожалению, не знаю, возможно ли строгое проведение аналогичных процедур в теории множеств.
На мою цитату
Kirill1986 писал(а):
Больше того, поскольку 1 - это пустое множество и π - тоже пустое, то, если я не напутал, 1= π (!) :shock: А, ну да! Забыл! Вообще все комплексные (да и гиперкомплексные вместе с ними) числа равны друг другу! :P Прикончим математику!!! FINISH HIM!!! :Yahoo!:

Вы отвечаете:
ivashenko писал(а):
Это не так и прикончить математику вообще у Вас не получится, но Вы можете прикончить её в своей голове.

Я соглашусь с Вами, что это не так. Но, простите, Вы сами писали:
ivashenko писал(а):
Ну так пустое множество ведь.

Я отвечал на эти Ваши слова. Но потом Вы сами изменили свою точку зрения, сказав, что числа - это не пустые множества, а "структуры из пустых множеств". Что до моей головы, то что мне с ней делать позвольте мне решать самому.
Уважаемый 3D Homer, полагаю, что после вышенаписанного отвечать отдельно на Ваше сообщение не имеет смысла. Мне, в общем-то, теперь понятно, что не существует такого множества 1, т. к. его существование противоречит аксиомам ZF, поскольку в ZF просто нет аксиом, позволяющих сконструировать такое множество. Что касается других самых разных чисел, то следует хорошенько разобраться со следствиями из системы аксиом ZF, чтобы понять, что представляют из себя эти (самые разные) числа в теории ZF.
Большое всем спасибо! Пожалуй, на этом все.

Автор:  ivashenko [ 20 авг 2017, 23:21 ]
Заголовок сообщения:  Re: Аксиоматическая теория множеств Цермело-Френкеля

Kirill1986
Извините, если чем-то задел Вас, успехов.

Страница 2 из 2 Часовой пояс: UTC + 3 часа [ Летнее время ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/