Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Хабр доступен 24/7 благодаря поддержке друзей
Комментарии 144
Исправление препода веселое.
Нескромный вопрос не по теме: а зачем такие тяжёлые сканы не-оригиналов?
Не привык я трафик экономить, посоветуете хороший редактор формул?
достаточно просто сохранять изображения правильно (например в фотошопе см.: Файл — Сохранить для Web и устройств) и настроить качество.
Достаточно сжать в JPG и уже раз 5-10 меньше объём файлов будет. Здесь PNG не оптимален.
не то чтобы я юзер-делетант, но всегда думал, что portable network в «PNG» как бы намекают на площадку использования формата, в следующий раз исправлюсь.
От JPEG будут разводы вокруг текста. Лучше PNG, несмотря на фон.
Почитай, земеля :-)
Воспользуйтесь этим сайтом:
www.codecogs.com/products/eqneditor/editor.php?mode=NEW
И формулы будут красиво выглядеть, и столько лишнего траффика не будет потребляться.
UPD: Опоздал на полчасика с комментарием. :)
www.codecogs.com/products/eqneditor/editor.php?mode=NEW
И формулы будут красиво выглядеть, и столько лишнего траффика не будет потребляться.
UPD: Опоздал на полчасика с комментарием. :)
Минус статье поставил только за картинки. Если сам не привык экономить, то думай об окружающих.
mip.exe
На math.stackexchange.com есть похожий вопрос . Я думаю вам стоит задать этот вопрос там, и заодно почитать ответ к вопросу который я кинул.
А если k неположителен и последовательность не определена для неположительных k? Тогда и приходим что k>k0, где k0=0. В вашем случае k — любое, но все же для некоторых случаев это определение верно только начиная с какого-то k0 f(Xk0).
Я тоже сначала так подумал, но выбор k (должен он быть больше нуля или нет) никак не влияет на суть, только на порядок нумерации последовательности, а он может быть произвольным.
С формальной точки зрения вы правы. В этих определениях не указываются области определения переменных, а значит, по идее, они могуть быть абсолютно любыми, хоть комплексными — и в этом случае утверждения теряют смысл вообще.
Однако, чтобы не захламлять запись, обычно подразумеваются вполне конкретные области определения переменных, общепринятые в данной области математики. Например, в матанализе принято считать, что индексы вроде n, N, k, p всегда только натуральные, а значения
или 
— вещественные. Поэтому формула вроде
на самом деле эквивалентна такой:
Но, естественно, так никто не пишет.
Однако, чтобы не захламлять запись, обычно подразумеваются вполне конкретные области определения переменных, общепринятые в данной области математики. Например, в матанализе принято считать, что индексы вроде n, N, k, p всегда только натуральные, а значения
или — вещественные. Поэтому формула вродена самом деле эквивалентна такой:
Но, естественно, так никто не пишет.
Мда. Очень странно, что в CodeCogs ширина выходного изображения фиксирована. Длинные формулы выглядят уныло :(
на самом деле эквивалентна такой:
Нет.
ε > 0 — не надо выносить в левую часть импликации, потому что эта «область определения» не содержит вхождений других переменных, она «внешняя» по отношению к формуле.
N = N(ε) — этого вообще не надо писать, потому что ересь и профанация. Зависимость переменной, на которую навешен квантор, от предыдущих кванторов и так подразумевается. Это не относится к матанализу никак, это относится сугубо к логике. Да, в большинстве своём преподы матанализа некомпетентны в исчислении высказываний и предикатов, в их формализме и обозначениях. Поэтому используют кванторы неформально как речевые сокращения, не вникая в общий смысл.
Эта формула, переписанная с матанистического на нормальный математический язык, выглядит так:
∀ε ∃N ∀n ∀m n > N ∧ m > N → |xn−xm| < ε
Ну и где-то в окрестности формулы оговаривается, что ε положительное вещественное, n и m натуральные, etc.
ε > 0 — не надо выносить в левую часть импликации, потому что эта «область определения» не содержит вхождений других переменных, она «внешняя» по отношению к формуле.Квантификация по множеству разворачивается в культурный теоретико-множественный язык без всякой магии, то бишь в:
∀ε (ε ∈ R ∧ ε > 0 → ...)
По упомянутой ссылке в последнем разделе говорится про кванторы, которые помимо переменной содержат некий терм t, который может содержать вхождение свободных (несвязанных) переменных. В случае же «ε > 0» подобного терма нет — нужно смотреть, что в упомянутой статье в начале. В этом случае, если мы перепишем более строго «ε ∈ R+», то здесь «∈» понимается как в некотором смысле тип («ε : R+»). В отличие от высказывания вроде «ε ∈ Uδ», которое может быть как истинным, так и ложным, в зависимости от того, попадает ли ε в Uδ при тех или иных условиях (не можем написать «ε : Uδ»).
В этом случае, если мы перепишем более строго «ε ∈ R+», то здесь «∈» понимается как в некотором смысле тип («ε: R+»).Вроде как схема выделения в ZF вам дана аксиоматикой — тут снова нет никакой магии.
Схема выделения тут, очевидно, ни при чём — тут даже нет «переменных-множеств». И даже ZF ни при чём — в курсе матана традиционно используется наивная теория множеств, ну и пусть. Речь идёт о том, как от матанистических «ограниченных кванторов» (на которые даже отрицания трудно навешивать) перейти к формуле с обычными логическими кванторами; это ортогонально теориям множеств.
Схема выделения тут, очевидно, ни при чём — тут даже нет «переменных-множеств».Вам нужны типы, чтобы" более строго" записывать ε ∈ R+, при том что это утверждение по схеме выделения равносильно ε ∈ R ∧ ε > 0. Собственно, послание было в том, что схема выделения для всех мыслимых (мной — как профан могу что-то упускать) применений квантификации по множеству обходит ограничение о неупоминании квантифицируемой переменной в терме-множестве.
Речь идёт о том, как от матанистических «ограниченных кванторов» (на которые даже отрицания трудно навешивать) перейти к формуле с обычными логическими кванторами; это ортогонально теориям множеств.Интересно, каким языком вы будете определять квантификацию по множеству, если не языком теории множеств (естественно, не обязательно ZF). Вообще, не понимаю, что может быть неинтуитивного в разворачивании всеобщности в импликацию и существования — в конъюнкцию; одновременно, легальность оговаривания чего-то на стороне в окрестностях формулы непонятна мне.
Вам нужны типы
Мне не нужны типы.
при том что это утверждение по схеме выделения равносильно ε ∈ R ∧ ε > 0
А почему тогда не писать «ε ∈ C ∧ (ε ∈ R ∧ ε > 0)»? Это тоже равносильно «ε ∈ R+».
Вообще, не понимаю, что может быть неинтуитивного в разворачивании всеобщности в импликацию и существования — в конъюнкцию
Так я её так и развернул. Неинтуитивность неразвёрнутых bounded quantifiers проявляется, например, при построении отрицания.
Смотрите, вот исходная (простая и правильная на мой взгляд) формула (функция x : N → R введена где-то выше):
∀ε ∃N ∀n ∀m n > N ∧ m > N → |xn − xm| < ε (ε ∈ R+; N, n, m ∈ N)
Длинными горизонтальными интервалами она разбита на три куска. Отрицание строится обращением всех кванторов в левом куске; в среднем куске для удобства отрицание спускается внутрь предиката по законам де Моргана и формуле отрицания импликации ¬(a → b) ⇔ a ∧ ¬b. Правый же кусок, который играет роль «типов», или «области определения», you name it — не претерпевает никаких именений:
∃ε ∀N ∃n ∃m (n > N ∧ m > N) ∧ |xn − xm| ≥ ε (ε ∈ R+, N, n, m ∈ N)
А теперь постройте отрицание для формулы, где правый кусок вшит внутрь в bounded quantifiers или в импликации/коньюнкции. Эти коньюнкции при построении отрицания превратятся в кадавров типа «… ∀m m ∉ N ∨ ¬...»
А почему тогда не писать «ε ∈ C ∧ (ε ∈ R ∧ ε > 0)»? Это тоже равносильно «ε ∈ R+».Понятия не имею. Лично я бы так не писал, потому что это потребовало бы расширения множества аксиом комплексными числами, что, наверное, совершенно не обязательно.
Почему вместо «ε ∈ R+» должны писать «ε ∈ R ∧ ε > 0»; но при этом не пишем «m ∈ Z ∧ m > 0» вместо «m ∈ N»?Вы не обязаны писать «ε ∈ R ∧ ε > 0»; вы можете писать «m ∈ Z ∧ m > 0» вместо «m ∈ N». На всякий случай уточню, что я ни разу не знаток теории множеств и просто пытаюсь разобраться, а вовсе не спорю ожесточенно, если что, и не против прикоснуться к мудрости знатоков.
Так я её так и развернул. Неинтуитивность неразвёрнутых bounded quantifiers проявляется, например, при построении отрицания.С неинтуитивностью отрицания ограниченных кванторов я не спорю. Я не понял, почему не надо класть положительность эпсилон в импликацию слева под квантором и почему утверждение про связанную переменную «внешнее», только и всего.
Я не понял, почему не надо класть положительность эпсилон в импликацию слева под квантором и почему утверждение про связанную переменную «внешнее», только и всего.
В последней формуле куски «m > N» и «ε > 0» имеют разную природу. В первом случае есть переменная N. Она не может быть вынесена вне формулы как
...∃m ... (...; m ∈ Z>N)
потому что на этом уровне уже никакой N нет, она связана квантором, не является свободной. Поэтому соответствующий bounded quantifier существования должен раскрываться в конъюнкцию (соответственно, для квантора всеобщности в импликацию).
Можно рассматривать кванторы более общо, чисто синтаксически, как «штуки, уменьшающие арность предиката». По аналогии: абстракция, записываемая через λ — тоже «штука, уменьшающая арность выражения», например: «λx . x + 1». Т.е. в результате получается предикат (в случае кванторов) или выражение (в случае лямбды) с меньшим количеством плейсхолдеров. Если свяжем или зафиксируем все переменные, то такой предикат арности 0 можно называть высказыванием.
Вам нужны типы, чтобы" более строго" записывать ε ∈ R+, при том что это утверждение по схеме выделения равносильно ε ∈ R ∧ ε > 0.
Почему вместо «ε ∈ R+» должны писать «ε ∈ R ∧ ε > 0»; но при этом не пишем «m ∈ Z ∧ m > 0» вместо «m ∈ N»?
Знали бы вы, как выглядит ваша последняя фраза, у которого уровень знания математики на уровне 11 класс+.
Знали бы вы, как выглядит ваша последняя фраза, у которого уровень знания математики на уровне 11 класс+.Мне не стыдно признать свою математическую безграмотность, если что, хотя я бы предпочел замечание по существу. Лично мне, да, непонятно, как с точки зрения логики можно что-то написать на стороне про связанную в формуле переменную.
Как мне кажется, у вас формально верное определение, правда более общее, но не отражающее суть определения последовательности Коши.
Звучит оно так (я его немного исказил информацию из Вики для простоты восприятия):
Фундаментальная последовательность — последовательность, у которой, обязательно существует элемент, начиная с которого все другие элементы находятся друг от друга на расстоянии менее, чем заданное.
Поэтому, утверждение, что k должно быть больше некого k-нулевого — является скорее всего продолжение слов «начиная с какого-то элемента».
Насколько важно это уточнение — я сказать не берусь, матан был очень давно, да и я никогда не был в нем силен. Думаю, автор определения, Коши, решил не плодить сущности, доказывая, что в общем случае это k-нулевое не сильно нужно, а просто ограничил возможные случаи. Верно говорят, математики по своей природе ленивые люди. Так что, я думаю, что эта добавка про ограничение k — просто дань традиции.
Если у вас есть желание, я попробую спросить у своих преподавателей более подробно.
Звучит оно так (я его немного исказил информацию из Вики для простоты восприятия):
Фундаментальная последовательность — последовательность, у которой, обязательно существует элемент, начиная с которого все другие элементы находятся друг от друга на расстоянии менее, чем заданное.
Поэтому, утверждение, что k должно быть больше некого k-нулевого — является скорее всего продолжение слов «начиная с какого-то элемента».
Насколько важно это уточнение — я сказать не берусь, матан был очень давно, да и я никогда не был в нем силен. Думаю, автор определения, Коши, решил не плодить сущности, доказывая, что в общем случае это k-нулевое не сильно нужно, а просто ограничил возможные случаи. Верно говорят, математики по своей природе ленивые люди. Так что, я думаю, что эта добавка про ограничение k — просто дань традиции.
Если у вас есть желание, я попробую спросить у своих преподавателей более подробно.
стоп стоп, а что, в посте слова определение «не фундаментальной последовательности по Коши» — не опечатка? 0_О
То есть речь идет о последовательности, которая формируется формальным отрицананием от последовательности по Коши (или фунд. послед.)?
То есть речь идет о последовательности, которая формируется формальным отрицананием от последовательности по Коши (или фунд. послед.)?
«Как первокурсник определение Коши сократил»
Что-то я совсем запутался с входными данными.
Что-то я совсем запутался с входными данными.
Да ну, никогда бы не подумал.
Вы мне сейчас глаза открываете, получается какая-то мутная фигня в посте =(
Вы мне сейчас глаза открываете, получается какая-то мутная фигня в посте =(
как же Вы тогда читали? :)
если найдете недочеты, не медлите с тем, чтобы рассказать.
если найдете недочеты, не медлите с тем, чтобы рассказать.
Ох, не знаю, как я читал ;D
Мне было бы проще, если бы было написано так:
1. Четкая формулировка задания: например «Напишите отрицание определения фундаментальной последовательности Коши».
2. Формальное определение фунд. послед: записанная формулировка последовательности Коши.
3. Формальное отрицание: каноническое отрицание записанного определения (есть же конкретные и совершенно бездумные правила)
4. Ваш вариант определения: чем он отличается от формального отрицания и как вы до него додумались?
Я бы с удовольствием поискал контрпримеры или помог бы вам устроить революцию в математике ;)
А сейчас, я извиняюсь, но я с трудом вникаю в текст и суть задания/поста/замечания по поводу базового определения/классической теоремы/новой теоремы, возникшей от разбора обратной задачи.
Мне было бы проще, если бы было написано так:
1. Четкая формулировка задания: например «Напишите отрицание определения фундаментальной последовательности Коши».
2. Формальное определение фунд. послед: записанная формулировка последовательности Коши.
3. Формальное отрицание: каноническое отрицание записанного определения (есть же конкретные и совершенно бездумные правила)
4. Ваш вариант определения: чем он отличается от формального отрицания и как вы до него додумались?
Я бы с удовольствием поискал контрпримеры или помог бы вам устроить революцию в математике ;)
А сейчас, я извиняюсь, но я с трудом вникаю в текст и суть задания/поста/замечания по поводу базового определения/классической теоремы/новой теоремы, возникшей от разбора обратной задачи.
ну, я писал в хронологическом порядке.
Задание было такое: в eps-del формулировке написать определение НЕ фундаментальной последовательности. (1-ая картинка), ниже я пишу формальное определение (по Коши) и беру отрицание от своего. И сравниваю уже два определения фундаментальных последовательностей. Если от обоих определений взять отрицание и провести доказательство, то оно получится, вообщем-то аналогичным.
Задание было такое: в eps-del формулировке написать определение НЕ фундаментальной последовательности. (1-ая картинка), ниже я пишу формальное определение (по Коши) и беру отрицание от своего. И сравниваю уже два определения фундаментальных последовательностей. Если от обоих определений взять отрицание и провести доказательство, то оно получится, вообщем-то аналогичным.
Нет, конечно, не опечатка. Только формируется формальным отрицанием всё-таки определение, а не последовательность.
Не совсем понимаю.
В вашем втором пункте, во второй строчке вы пишете k = k0 + q;
Но для доказательства пункта A вам нужно найти такое к0, что бы для любого к, а не наоборот.
В вашем втором пункте, во второй строчке вы пишете k = k0 + q;
Но для доказательства пункта A вам нужно найти такое к0, что бы для любого к, а не наоборот.
Понял о чем Вы, примерно тоже самое написано у вас выше, когда вы говорите, что наличие к0 — обязательно, но в том то и «фишка», что я не просто упростил определение, а доказал эквивалентность понятий (если, конечно, оно применимо). А из верности моего определения, вытекает, что наличие какого-то к0 вовсе не нужно, и рассматривать стоить все номера. Также интересно посмотреть на Ваш контр-пример.
Хорошее наблюдение :) Говорю, как тоже преподаватель, в том числе и матанализа.
А разве отрицание первой картинки автора не дает определение простой сходимости, а не фундаментальной?
Таким образом, из определения Коши можно убрать к-нулевое, или, другими словами, не бывает таких последовательностей, которые фундаментальны / не фундаментальны до какого-то номера
Вот вывод абсолютно неверный. Нельзя определить фундаментальность или нефундаментальность до какого-то номера, фундамельность это свойство последовательности на бесконечном хвосте. Исправьте.
Предположим у вас 100 точек на расстоянии 1 см, а потом расстояние начинает увеличиваться. Вы выбрали эпислон для измерения пусть 5 см. Начинаете измерять расстояние между n и n+2, тогда для первых 100 условие выполняется, а потом может и не выполнятся. Получается что последовательность не фундаментальная, и не для всех ка, а только начиная с некоторого номера.
Звучит логично и понятно, но я думаю, вы ошибаетесь, так как я имею право взять любое существующее эпсилон, больше нуля, для удовлетворения своей потребности. То есть, если в вашем примере, у нас всего 200 точек, 100 из них на расстоянии 1 см, а остальные растут (до дистанции 20 см, допустим), то я просто возьму эпсилон 25 см.
Другими словами, причем тут отрезки последовательностей?
p.s. я в жуткой печали, в интернете в половине определениях есть как минимум по ошибке =(
Другими словами, причем тут отрезки последовательностей?
p.s. я в жуткой печали, в интернете в половине определениях есть как минимум по ошибке =(
Последовательность не ограничена номером 200. Посмотрите определение в википедии.
ru.wikipedia.org/wiki/Фундаментальная_последовательность
ru.wikipedia.org/wiki/Фундаментальная_последовательность
Дык, дело же не в номере. Последовательность же может быть конечной, или бесконечной, но динамика расхождения расстояний между точек в метрическом пространстве может скакать, то есть быть отрицательной или положительной.
Как я понимаю, в стандартном определении говорится не о локальной фундаментальности, а о общей, работающей на всей последовательности. Или я ошибаюсь?
Как я понимаю, в стандартном определении говорится не о локальной фундаментальности, а о общей, работающей на всей последовательности. Или я ошибаюсь?
Что насчет этого случая? Все элементы с индексом больше k лежат в эпсилон-окрестности Xk, но расстояние между Xk+1 и Xk+2 больше эпсилон. Таким образом под ваше определение такой выбор k подходит, а под определение Коши нет.
Почитал. Комплексую.
Это знают только математики или первокурсники. Сдал экзамен и первый модуль матанализа улетел в корзину :)
Матанализ был 10 лет назад, но все еще помню. Так что от человека зависит — либо он зазубривал к экзамену, либо понял и разобрался. Во второом варианте гораздо дольше помнишь.
Оффтоп: «Плохо, когда не знал, да еще и забыл» — как любил говорить один мой препод на экзаменах
У меня тоже матанализ был 10 лет назад и за него стоит итоговая 5; тем не менее, сейчас я не вспомню оттуда вообще ничего.
Так я о том и сказал, что важна не оценка, а важно качество изучения. Я сам учил по 40 билетов в последние 3 дня и даже получал 5-ки таким образом. Но все таким образом выученное за неделю уходит безвозвратно. Можно запихать себе что-то в память насильно, но долго это там не удержишь, это способ получать оценки, а не знания.
К сожалению, учить в последние три дня — в мое время так поступало 90% студентов, так что эти 90% выходили с нулевыми знаниями ( хоть и с самыми разными оценками).
К сожалению, учить в последние три дня — в мое время так поступало 90% студентов, так что эти 90% выходили с нулевыми знаниями ( хоть и с самыми разными оценками).
Но расстояние между Xk+1 и Xk+2 меньше 2*eps, и этого вполне достаточно.
Если сам Коши и использовал алгебраическую нотацию, то точно не ту, которую вы считаете исходной. Запись выражений в матане зависит от традиции преподавания, где-то есть избыточности, где-то умолчания. Это все не важно. Главное — понимать и уметь объяснять суть теорем.
Похоже, всё верно. Только непонятно, что это дает.
Автора, несомненно, можно поздравить с тем, что он с чем-то новым разобрался, но мне не кажется, что это стоит отдельного поста с кучей картинок.
Стремление к истине похвально — продолжайте в том же духе, — но с моралью я не согласен. В ситуации, когда у вас толковый преподаватель, он бы понял, что эта формулировка равносильна, но попросил бы вас это обосновать просто чтобы убедиться, что вы не написали ответ наугад. С натяжкой победа получается.
А еще советую не стесняться тривиальности утверждения и не брезговать пользоваться словами и даже разными буквами для разных связанных переменных — всем же лучше, когда доказательства лучше читаются.
А еще советую не стесняться тривиальности утверждения и не брезговать пользоваться словами и даже разными буквами для разных связанных переменных — всем же лучше, когда доказательства лучше читаются.
Всё верно в доказательстве, интуитивно можно понимать так:
Определение по Коши: для любого ε можно найти номер k0, начиная с которого любые два члена последовательности близки.
Ваше определение: для любого ε можно найти номер k, начиная с которого конкретные два члена последовательности близки (а именно k и k+p).
Понятно, что из определения по Коши следует Ваше определение. Но и наоборот тоже верно в силу неравенства треугольника: если два элемента близки к конкретному третьему (x_k в Вашем определении), то эти два элемента обязательно близки между собой.
На мой взгляд, определение по Коши интуитивно понимается лучше. Но это сугубо личное мнение.
Определение по Коши: для любого ε можно найти номер k0, начиная с которого любые два члена последовательности близки.
Ваше определение: для любого ε можно найти номер k, начиная с которого конкретные два члена последовательности близки (а именно k и k+p).
Понятно, что из определения по Коши следует Ваше определение. Но и наоборот тоже верно в силу неравенства треугольника: если два элемента близки к конкретному третьему (x_k в Вашем определении), то эти два элемента обязательно близки между собой.
На мой взгляд, определение по Коши интуитивно понимается лучше. Но это сугубо личное мнение.
Доказательство ТС как раз неверно.
Можно ещё проще.
НСНМ = начиная с некоторого места
Коши: НСНМ любые два члена последовательности лежат друг от друга не далее, чем на эпсилон.
Авторское: НСНМ любой хвост лежит в эпсилон-окрестности своей головы.
НСНМ = начиная с некоторого места
Коши: НСНМ любые два члена последовательности лежат друг от друга не далее, чем на эпсилон.
Авторское: НСНМ любой хвост лежит в эпсилон-окрестности своей головы.
Утверждение, написанное автором, легко получается из утверждения, написанного прелподавателем, если из последовательности отбросить первые k0 число членов, что не влияет на сходомость последовательности. Но это уже теорема, а не определение.
Потому по сути своей правы оба: преподаватель, потому что требовал дать определение, и автор в том, что утверждения эквивалентны.
Потому по сути своей правы оба: преподаватель, потому что требовал дать определение, и автор в том, что утверждения эквивалентны.
Вы не правы, в части «утверждение… легко получается из утверждения, написанного прелподавателем, если из последовательности отбросить первые k0 число членов», поскольку k0 выбирается для конкретного эпсилон. Возможна ситуация, когда потребуется отбросить бесконечно много элементов, чтобы утверждение выполнялось для всех эпсилон.
Мой фидбек: совершенно нормальная ситуация. Вас попросили привести определение, как его рассказывал преподаватель — вы привели другое — вас попросили доказать эквивалентность — вы доказали — вам поставили пять.
Именно этим и отличаются нормальные преподаватели от идиотов, которых надо гнать вон из профессии. Цените, что учитесь у нормального.
Именно этим и отличаются нормальные преподаватели от идиотов, которых надо гнать вон из профессии. Цените, что учитесь у нормального.
Преподаватель математики имеет право быть плохим математиком и не видеть очевидной эквивалентности этих утверждений. Но если он при этом не отбивает желания изучать математику — он является нормальным преподавателем. Не путайте нормального преподавателя с отличным.
Неправда ваша, такой преподаватель нужен — хотя бы затем, чтобы его место не занял отвратительный преподаватель математики, который, как следует от названия, отвращает учащихся от изучения математики.
О, есть методы. Меня вот от написания сочинений отвратили — а я ведь любил сочинять. До сих пор не могу даже документацию к своей же программе составить нормально — а ведь и план составил, и время есть. Но после написания трех абзацев появляется призрак ненавистной училки, которая кричит: «Ты что тут по-написал? Одна-две „н“ всюду расставлены неправильно, композиция какая-то странная, штили смешаны, синонимы не используются… Переделывай заного! Дети, посмотрите, что этот идиот опять написал!» И как-то продолжать написание документации уже и не хочется, и ее до сих пор нету.
И от математики меня отвратить пытались, задержись я в родной школе по-дольше, могло и получиться.
И от математики меня отвратить пытались, задержись я в родной школе по-дольше, могло и получиться.
Зря Вы так…
Это в ВУЗе отбить желание изучать новое плохим преподаванием так быстро не получиться (хотя за пару семестров, я думаю, справиться можно...), а в школе это работает на ура. Альтернативно одаренный в педагогических талантах учитель с гарантией в 95% превратит любознательного школьника в школьника, который искренне ненавидит предмет за одну-две контрольные или проверки домашнего задания.
Тут я полностью согласен с mayorovp.
Это в ВУЗе отбить желание изучать новое плохим преподаванием так быстро не получиться (хотя за пару семестров, я думаю, справиться можно...), а в школе это работает на ура. Альтернативно одаренный в педагогических талантах учитель с гарантией в 95% превратит любознательного школьника в школьника, который искренне ненавидит предмет за одну-две контрольные или проверки домашнего задания.
Тут я полностью согласен с mayorovp.
Я не обманываю и уж тем более себя. Просто в школе на это потребуется пара недель, а в ВУЗе пара семестров, так как и психологическая устойчивость выше и приоритеты более развиты.
Понизить самооценку на самом деле куда проще чем кажется и, чем потом повысить ее до нормального, реального, уровня. И чем более авторитетным вначале кажется тот, кто решит на этом сыграть, тем быстрее самооценка будет падать, и вот уже человек начинает думать, что он никто и в этой области у него никаких перспектив нет… А что учитель, что преподаватель обладает некоторым базовым авторитетом и уровнем власти, так что все вводные для возможного негатива есть. Вопрос только во времени, через которое начнет проявляться результат.
Понизить самооценку на самом деле куда проще чем кажется и, чем потом повысить ее до нормального, реального, уровня. И чем более авторитетным вначале кажется тот, кто решит на этом сыграть, тем быстрее самооценка будет падать, и вот уже человек начинает думать, что он никто и в этой области у него никаких перспектив нет… А что учитель, что преподаватель обладает некоторым базовым авторитетом и уровнем власти, так что все вводные для возможного негатива есть. Вопрос только во времени, через которое начнет проявляться результат.
Возможно у меня несколько устаревшие понятия о преподавании, я всегда полагал, что преподаватель как раз должен глубоко разбираться в предмете и взаимосвязях, чтобы быть в состоянии ответить на вопросы студентов. Иначе можно просто прочитать учебник.
Совершенно верно, но преподаватель не обязан уметь делать это быстро. Скажу даже так: преподаватель, из года в год обучающий плохих студентов, неизбежно потеряет способность отвечать на нестандартные вопросы быстро.
Тот факт, что преподаватель взял время подумать и сдержал обещание, так как потом продолжил дискуссию, характеризует его только с положительной стороны. Преподаватель не стал отнекиваться от вопроса, на который сходу не знал ответа, а подумал над ним и дал аргументированный ответ студенту.
А отвечать на вопросы студентов не обязательно нужно сразу. Во первых, преподаватель не робот и всего помнить или мгновенно анализировать не может, по этому почему-бы и не взять паузу, главное после этого не забыть обещание и сдержать его. Ну а во вторых такая пауза и положительный эффект несет — если студенту вопрос действительно интересен, то он и сам над ним подумает и ко времени, когда преподаватель будет готов дать и/или обсудить ответ, ответ будет дан не в пустоту.
А отвечать на вопросы студентов не обязательно нужно сразу. Во первых, преподаватель не робот и всего помнить или мгновенно анализировать не может, по этому почему-бы и не взять паузу, главное после этого не забыть обещание и сдержать его. Ну а во вторых такая пауза и положительный эффект несет — если студенту вопрос действительно интересен, то он и сам над ним подумает и ко времени, когда преподаватель будет готов дать и/или обсудить ответ, ответ будет дан не в пустоту.
Я считаю, что в математике слово «очевидно» следует понимать как «точное и исчерпывающее доказательство данного утверждения можно сформулировать в течение минуты (с учётом времени на обдумывание, написание и разъяснение)». Я не считаю, что для предподавателей всё в дисциплине, которую они преподают, априори считается очевидным, чтобы от них требовать подобных разъяснений в тот же момент, когда возникает вопрос.
В оригинальном определении говорится, что начиная с какого-то номера разность между любыми двумя элементами будет меньше эпсилон. В Вашем «переделанном определении» говорится, что начиная с какого-то номера все члены последовательности будут отличаться от него не более, чем на эпсилон. Для метрики выполняется неравенство треугольника, поэтому из того, что все элементы отличаются от одного конкретного не более, чем на эпсилон, следует, что любые два будут отличаться не более чем на 2эпсилон. Обратное тоже очевидно. Ясен пень, эти определения эквивалентны.
Мне как студенту 3 курса мехмата МГУ непонятно лишь одно: почему преподавателю потребовалось больше 3х минут на то, чтобы это понять? Это же совсем очевидно.
Мне как студенту 3 курса мехмата МГУ непонятно лишь одно: почему преподавателю потребовалось больше 3х минут на то, чтобы это понять? Это же совсем очевидно.
Я в доказательство верю. Правда можно было немного прокомментировать смысл определений.
Ваше определение не-фундаментальности говорит, что ткни в любой элемент последовательности, дальше найдется еще один, который отстоит от первого на расстоянии > eps. Определение препода — откинь сколько хочешь первых элементов, и я все равно найду два таких, что между ними расстояние > eps.
Суть доказательства:
(1) -> (2) Откинули k элементов. Для следующего по определению (1) найдется элемент, отдаленный на eps.
(2) -> (1) Взяли k-ый. После него найдутся два элемента, между которыми расстояние > eps. Ну значит, хотя бы до одного из них от k-ого расстояние будет eps / 2.
P.S. Я, правда, не знаю, стало ли понятней… Но мне это видится так.
Ваше определение не-фундаментальности говорит, что ткни в любой элемент последовательности, дальше найдется еще один, который отстоит от первого на расстоянии > eps. Определение препода — откинь сколько хочешь первых элементов, и я все равно найду два таких, что между ними расстояние > eps.
Суть доказательства:
(1) -> (2) Откинули k элементов. Для следующего по определению (1) найдется элемент, отдаленный на eps.
(2) -> (1) Взяли k-ый. После него найдутся два элемента, между которыми расстояние > eps. Ну значит, хотя бы до одного из них от k-ого расстояние будет eps / 2.
P.S. Я, правда, не знаю, стало ли понятней… Но мне это видится так.
Мне кажется определение «первокурсника» изначально неверное и не отражает критерия Коши сходимости последовательности. В определении первокурсника он говорит, что существует такой эпсилон, что для любого К будет существовать такой индекс п, разница между которым и к меньше эпсилона.
Это неверно.
Привожу пример последовательности:
5 3 2 5 3 2 5 3 2…
Возьмем эпсилон 4, да даже 3, 2, 1 или даже 0,001
Для любого К я могу найти такой П что расстояние между К и К+П будет меньше моего Эпсилона, но при этом последовательность не сходится! Хотя удовлетворяет условию.
Определение Коши в точности наоборот звучит — для ЛЮБОГО эпсилон СУЩЕСТВУЕТ к0 такой, что расстояние между ЛЮБЫМ к1 и к2 больше к0 будет меньше эпсилон
Это неверно.
Привожу пример последовательности:
5 3 2 5 3 2 5 3 2…
Возьмем эпсилон 4, да даже 3, 2, 1 или даже 0,001
Для любого К я могу найти такой П что расстояние между К и К+П будет меньше моего Эпсилона, но при этом последовательность не сходится! Хотя удовлетворяет условию.
Определение Коши в точности наоборот звучит — для ЛЮБОГО эпсилон СУЩЕСТВУЕТ к0 такой, что расстояние между ЛЮБЫМ к1 и к2 больше к0 будет меньше эпсилон
Соответственно обсуждать все остальные доказательства бессмысленно потому что они исходят из неверной предпосылки.
Исправления препода ошибочно, он должен был исправить вообще все определение
Исправления препода ошибочно, он должен был исправить вообще все определение
А, первокурсник оказывается написал что разница между К+П и К Больше эпсилона!
Это еще проще, вот вам последовательность
1 2 4 8 16 32 64 128…
Берем эпсилон 1, для любого К я вам легко подбегу такой П, что |Хк+п — Хк| > э, и что теперь эта последовательность сходится?
Это еще проще, вот вам последовательность
1 2 4 8 16 32 64 128…
Берем эпсилон 1, для любого К я вам легко подбегу такой П, что |Хк+п — Хк| > э, и что теперь эта последовательность сходится?
вообще-то как раз тот-факт, что последовательность удовлетворяет моему условию нефундаментальности(первая картинка) и говорит о том, что последовательность не сходится, будьте внимательнее.
Победа над учителем, наверное, да. Но вот, в математике…
Советую ознакомиться все же с каким-нибудь учебником Анализа хотя бы до 1960-го года выпуска. Тогда все мигом встанет на места, откуда тут некая точка отсчета для других k подназванием k0. А слушать зрителей — лучше не надо.
Советую ознакомиться все же с каким-нибудь учебником Анализа хотя бы до 1960-го года выпуска. Тогда все мигом встанет на места, откуда тут некая точка отсчета для других k подназванием k0. А слушать зрителей — лучше не надо.
По ходу, вы правы. Тем более, что в Википедии даётся другой критерий Коши: без сложения индексов (оттуда и > ).
Но ваше доказательство, по крайней мере, B->A — неочевидно (хотя и интуитивно ясно). К примеру, в k = k0 + q вы вводите 2 свободные переменные. И где гарантии, что вы таким слабо формализованным доказательством не доказываете не A, а утверждение типа «для любого наперёд заданного k0 для любого epsilon для любого p > k0 модуль разности значений элементов < epsilon» (утверждение, наверняка, НЕ следует из B — это просто следствие отсутствия формализма при доказательстве)?
Проблема в том, что на том этапе, на котором в курсе мат. анализа даётся это определение, требуется максимально ясное доказательство всех связанных вещей. И множество выведенных из аксиом сущностей весьма мало, так что многие интуитивно ясные переходы трудно расписать формально. К примеру: в случае последовательности: «42, 42, 42, 42… », k из утверждения B можно выбрать равным 1 и как его разложить по сумме на НАТУРАЛЬНЫЕ k0 и q????? Если вы в своём доказательстве это очевидно и непротиворечиво покажете, то молодец. :)
Но ваше доказательство, по крайней мере, B->A — неочевидно (хотя и интуитивно ясно). К примеру, в k = k0 + q вы вводите 2 свободные переменные. И где гарантии, что вы таким слабо формализованным доказательством не доказываете не A, а утверждение типа «для любого наперёд заданного k0 для любого epsilon для любого p > k0 модуль разности значений элементов < epsilon» (утверждение, наверняка, НЕ следует из B — это просто следствие отсутствия формализма при доказательстве)?
Проблема в том, что на том этапе, на котором в курсе мат. анализа даётся это определение, требуется максимально ясное доказательство всех связанных вещей. И множество выведенных из аксиом сущностей весьма мало, так что многие интуитивно ясные переходы трудно расписать формально. К примеру: в случае последовательности: «42, 42, 42, 42… », k из утверждения B можно выбрать равным 1 и как его разложить по сумме на НАТУРАЛЬНЫЕ k0 и q????? Если вы в своём доказательстве это очевидно и непротиворечиво покажете, то молодец. :)
Вы, по-видимому, не совсем поняли доказательство. Мы берем произвольный k > k_0, т.е. k = k_0 + q, где q натурально, где k_0 выбрано из утверждения B по eps (с точностью до переобозначения). И доказываем, что для всех натуральных p справедливо утверждение из первого определения.
P.S. О Principia Mathematica слышали? В стремлении за формализмом можно дойти вот до такого абсурда.
P.S. О Principia Mathematica слышали? В стремлении за формализмом можно дойти вот до такого абсурда.
Ну, в обратном стремлении тоже можно в любом доказательстве написать «очевидно, чтд» — и доказывать тем самым всё, что угодно. :)
И я понимаю, что доказательство автора можно формализовать, что бы сделать его наглядным и очевидным, просто я указываю на то, что в текущем виде доказательство весьма не очевидно. В такого рода доказательствах легко перепутать порядок кванторов. Хорошо, если можно своё доказательство запихнуть куда-нибудь типа Хабра для проверки «толпой» (которая, строго, ничего не гарантирует), а если не получается? Нужно, что бы даже с бодуна ты не сомневался в доказательстве используемой тобой теоремы.
Когда вы расписали — мне стало ещё более понятным, почти очевидным. Хорошо бы ещё правда расписать B в переобозначении и отдельно варианты с epsilon/2.
И я понимаю, что доказательство автора можно формализовать, что бы сделать его наглядным и очевидным, просто я указываю на то, что в текущем виде доказательство весьма не очевидно. В такого рода доказательствах легко перепутать порядок кванторов. Хорошо, если можно своё доказательство запихнуть куда-нибудь типа Хабра для проверки «толпой» (которая, строго, ничего не гарантирует), а если не получается? Нужно, что бы даже с бодуна ты не сомневался в доказательстве используемой тобой теоремы.
Когда вы расписали — мне стало ещё более понятным, почти очевидным. Хорошо бы ещё правда расписать B в переобозначении и отдельно варианты с epsilon/2.
Формальный != наглядный и очевидный, простите. Мне на первом курсе было крайне тяжело понять эти «формальные» доказательства со всякими «возьмем дельта равным эпсилон делить на пятнадцать пи в квадрате».
За формальными манипуляциями теряются мысль и идея, которые в математике первичны. Когда я читаю доказательство, мне хочется осознать его идею, а не разбираться в выкрутасах с кванторами и эпсилонами.
Согласен, курс матанализа должен учить формализовывать идеи, излагать их строгим языком. Но это должно происходить так, чтобы не возникало ощущения, что математики только тем и занимаются, что символы переставляют.
За формальными манипуляциями теряются мысль и идея, которые в математике первичны. Когда я читаю доказательство, мне хочется осознать его идею, а не разбираться в выкрутасах с кванторами и эпсилонами.
Согласен, курс матанализа должен учить формализовывать идеи, излагать их строгим языком. Но это должно происходить так, чтобы не возникало ощущения, что математики только тем и занимаются, что символы переставляют.
Топик 2014 года на Хабре, по-моему :) Вместе с комментариями.
добавьте в последовательность пару бесконечностей.
Определение ваше эквивалентно определению Коши. Но «избыточное» определение Коши прижилось не просто так. Для дальнейших рассуждений оно обычно удобнее — в нём прямо говорится, что начиная с номера k0 любые два члена последовательности мало отличаются друг от друга, а из вашего определения это ещё вывести нужно.
Если утверждение верно для любого k>=k0, то оно верно и для любого k>k0. Что не так?
Как — неочевидно? Вы о чем вообще?
Множество { k0, k0+1, k0+2, k0+3… } включает в себя { k0+1, k0+2, k0+3… }. Поэтому любое утверждение, верное для всех k из первого множества, верно и для всех k из второго.
Множество { k0, k0+1, k0+2, k0+3… } включает в себя { k0+1, k0+2, k0+3… }. Поэтому любое утверждение, верное для всех k из первого множества, верно и для всех k из второго.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Как первокурсник определение Коши сократил