2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1 ... 58, 59, 60, 61, 62, 63, 64 ... 67  След.
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение02.07.2014, 23:38 
Заслуженный участник
Аватара пользователя


30/01/06
66696
g______d в сообщении #883336 писал(а):
Доказывается не то, что простых чисел бесконечно много, а всего лишь то, что для любого $n$ верно следующее: если простых чисел $n$, то их обязательно хотя бы $n+1$. Больше ничего. А дальше нахождение противоречия и заключение, что их бесконечно много.

А разве здесь нельзя сказать: "ба, индукция!"?

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение02.07.2014, 23:40 


12/02/14
808
Xaositect в сообщении #883376 писал(а):
А вот то, что ряд не сходится к конечной сумме, требует метода от противного.

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

-- 02.07.2014, 16:41 --

Munin в сообщении #883380 писал(а):
А разве здесь нельзя сказать: "ба, индукция!"?
Можно, но не нужно. Множество, не влезающее ни в один конечный список, бесконечно по определению. Точка.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение02.07.2014, 23:42 
Заслуженный участник
Аватара пользователя


02/08/11
5216
Munin в сообщении #883380 писал(а):
А разве здесь нельзя сказать: "ба, индукция!"?
Мне тоже такая мысль пришла. Но не получается - базы для индукции нет.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение02.07.2014, 23:48 


12/02/14
808
Есть, возьмите число 2.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение02.07.2014, 23:50 
Заслуженный участник
Аватара пользователя


02/08/11
5216
mishafromusa в сообщении #883390 писал(а):
возьмите число 2
Беру: 2. Взял. Базы индукции не появилось.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение02.07.2014, 23:52 
Заслуженный участник
Аватара пользователя


08/11/11
5296
Munin в сообщении #883380 писал(а):
А разве здесь нельзя сказать: "ба, индукция!"?


Сначала сформулируйте утверждение, которое Вы доказываете по индукции.

mishafromusa в сообщении #883383 писал(а):
то всякая достаточно далёкая частичная сумма будет больше, чем этот кандидат плюс один


Вы забыли сказать "поэтому получаем противоречие".

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение02.07.2014, 23:58 


12/02/14
808
g______d в сообщении #883395 писал(а):
Вы забыли сказать "поэтому получаем противоречие".
Нет не забыл, потому что я не начинал "пусть ряд сходится к конечному числу," а просто честно расписал формулировку того, что конечного предела частичных сумм нет, и доказал это утверждение. Это Вам всюду противоречия мерещатся.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:04 
Заслуженный участник
Аватара пользователя


06/10/08
6094
mishafromusa в сообщении #883383 писал(а):
Ерунда, ряд, расходящийся к бесконечности, к конечной сумме сходится не может просто потому, что если взять конечный кандидат на предел, то всякая достаточно далёкая частичная сумма будет больше, чем этот кандидат плюс один, то есть несуществование предела доказывается напрямую.
Это все понятно. Но мы доказали не отрицание. Мы доказали, что любое число не является пределом. Это утверждение не является отрицанием какого-то другого утверждения.
А вот та мелочь, которая позволяет от "любое число не является пределом" перейти к "не существует конечного предела" - она, формально, является доказательством от противного. "Хорошим" случаем доказательства от противного, которое не использует принцип исключенного третьего.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:09 


12/02/14
808
warlock66613 в сообщении #883393 писал(а):
mishafromusa в сообщении #883390 писал(а):
возьмите число 2
Беру: 2. Взял. Базы индукции не появилось.
Появилась, есть одно простое число.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:13 
Заслуженный участник
Аватара пользователя


02/08/11
5216
mishafromusa в сообщении #883401 писал(а):
Появилась, есть одно простое число.
Хотя бы одно простое число. А для первого шага требуется, чтобы вообще существовало только одно простое число, не больше и не меньше.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:16 


12/02/14
808
Xaositect в сообщении #883398 писал(а):
А вот та мелочь, которая позволяет от "любое число не является пределом" перейти к "не существует конечного предела"
А разве это не просто стандартная выкладка с кванторами? Любое число -- не предел --> предела не существует среди чисел.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:18 
Заслуженный участник
Аватара пользователя


06/10/08
6094
warlock66613 в сообщении #883402 писал(а):
Хотя бы одно простое число. А для первого шага требуется, чтобы вообще существовало только одно простое число, не больше и не меньше.
Нет, зачем же. У нас же конструкция по $n$ простым числам получает число, не равное 1 и не делящееся на исходные, т.е. делящееся на какое-то другое простое число. То есть у нас есть утверждение "если есть хотя бы $n$ простых чисел, то есть хотя бы $n+1$ простое число". И по индукции можно получить, что существует сколь угодно много простых чисел.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:20 


12/02/14
808
mishafromusa в сообщении #883403 писал(а):
А для первого шага требуется, чтобы вообще существовало только одно простое число, не больше и не меньше.
Можно сказать разумнее: существует по крайней мере одно простое число, тогда всё получится, а "не больше и не меньше" -- это тупик.

-- 02.07.2014, 17:27 --

Вообще, дамы и господа, если вам так нравится обсуждать доказательств от противного, пожалуйста, откройте отдельную тему, это же совсем не про матан и как с ним бороться.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:28 
Заслуженный участник
Аватара пользователя


02/08/11
5216
mishafromusa в сообщении #883407 писал(а):
существует по крайней мере одно простое число, тогда всё получится
Не получится. Из того что существует ровно одно простое число следует, что простых чисел два. Но из того что их не меньше одного не следует, что их не меньше двух.

 Профиль  
                  
 
 Re: Как упростить преподавание матанализа нематематикам?
Сообщение03.07.2014, 00:40 


12/02/14
808
Не ровно, оставьте ровно в покое, и замените его на "по крайней мере." И вообще индукция тут не нужна. Множество, не влезающее ни в один конечный список, бесконечно по определению. Точка.

-- 02.07.2014, 17:46 --

warlock66613 в сообщении #883409 писал(а):
Но из того что их не меньше одного не следует, что их не меньше двух.
Если есть по крайней мере одно, то есть по карайней мере 2, итд.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 991 ]  На страницу Пред.  1 ... 58, 59, 60, 61, 62, 63, 64 ... 67  След.

Модераторы: Модераторы, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group