2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

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

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Определить мощность: рациональные последовательности
Сообщение16.01.2008, 17:44 
Аватара пользователя


16/01/08
18
S:={$\alpha$=($a_1, a_2,...,a_n,...$): $ все a_n\in Q$ и $\alpha - $геометрическая прогрессия}

Чему равна мощность множества S?

Верно ли, что мощность равна алеф ноль, так как S является подмножеством счётного множества Q, мощность которого алеф ноль. И так как между множеством S и множеством натуральных чисел можно задать взаимно однозначное отображение: $ a_n=a_1*q^{n-1}$

 Профиль  
                  
 
 
Сообщение16.01.2008, 17:51 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Maviru писал(а):
Верно ли, что мощность равна алеф ноль
Верно, поскольку прогрессия полностью определяется своим первым членом и знаменателем.

 Профиль  
                  
 
 
Сообщение16.01.2008, 17:55 
Супермодератор
Аватара пользователя


29/07/05
8248
Москва
Но объяснение никуда не годится. Во-первых, S не является подмножеством Q, так как каждый элемент S (прогрессия) определяется двумя рац. числами. Поэтому правильнее будет написать, что $S=Q\times Q$. Вторая же фраза совсем плоха, поскольку нам нужно нумеровать разные последовательности, а не отдельные члены в одной последовательности.

 Профиль  
                  
 
 
Сообщение16.01.2008, 19:57 
Заслуженный участник


14/01/07
787
PAV писал(а):
Поэтому правильнее будет написать, что $S=Q\times Q$.

Помниться еще Булгаков писал, что рыбы второй свежести не существует. Может тогда еще правильней написать, что $S=\mathbb{Q}$? Или $S=\mathbb{N}$?

 Профиль  
                  
 
 
Сообщение18.01.2008, 08:27 
Заслуженный участник
Аватара пользователя


11/12/05
9953
Цитата:
Помниться еще Булгаков писал, что рыбы второй свежести не существует. Может тогда еще правильней написать, что $S=\mathbb{Q}$? Или $S=\mathbb{N}$?


Если стремиться к правильности, то надо отличать мощность множества от самого множества. По вашему определению $S$ - это набор некоторых бесконечных последовательностей. Оно никак не может быть равно множеству натуральных или дробных чисел хотя бы потому, что элементы разные. Если же говорить о мощности, то
$|S| = | \mathbb{Q}| = | \mathbb{N}|  = \aleph_0$

Правда, если перегнуть с правильностью, могут и занудой назвать.

 Профиль  
                  
 
 
Сообщение18.01.2008, 09:44 
Супермодератор
Аватара пользователя


29/07/05
8248
Москва
PAV писал(а):
Поэтому правильнее будет написать, что $S=Q\times Q$.

Конечно же, я неудачно написал. Имелось в виду наличие естественной биекции между этими множествами.

 Профиль  
                  
 
 
Сообщение18.01.2008, 15:17 
Заслуженный участник


14/01/07
787
Я так и понял. Наверное, я все-таки зануда :) .

 Профиль  
                  
 
 
Сообщение21.01.2008, 16:05 
Аватара пользователя


16/01/08
18
Правильно ли я поняла вопрос :oops:
Множество S состоит из счётного бесконечного числа альф, каждое из которых представляет собой счётную бесконечную последовательность рациональных чисел :roll: Поэтому

$|S|=\aleph_0\times\aleph_0=\aleph_0

первое алеф ноль - это мощность множества всех альф, т.к. существует биекция с мно-ом натуральных чисел: $ f(\alpha_n)=\alpha_1*q^{n-1}

второе алеф ноль - это мощность счётной бесконечной последовательности (как подмножество счётного множества? или лучше сказать, что все елементы можно занумеровать натуральными числами)

И ,по случаю , огромное спасибо за помощь :D

 Профиль  
                  
 
 
Сообщение21.01.2008, 17:24 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Maviru писал(а):
Множество S состоит из счётного бесконечного числа альф, каждое из которых представляет собой счётную бесконечную последовательность рациональных чисел
Нет. Множество S - это множество геометрических прогрессий с рац. первым членом и рац. знаменателем, поэтому оно нумеруется парами рац. чисел.

 Профиль  
                  
 
 
Сообщение21.01.2008, 18:03 
Заморожен
Аватара пользователя


18/12/07
8774
Новосибирск
Давайте совсем уж строго :D

Лемма 1 |S| \leqslant |Q \times Q|

Доказательство. Отображение $f : Q \times Q \to S$, сопоставляющее паре $\langle p,q \rangle$ последовательность $p, pq, pq^2, pq^3, \ldots$, сюрьективно.

Лемма 2 $|Q| \leqslant |S|$.

Доказательство. Отображение $g : Q \to S$, сопоставляющее рациональному числу $q$ последовательность $q,q,q,\ldots$, инъективно.

Теорема $|S| = \aleph_0$.

Доказательство. Утверждение о том, что $|Q| = \aleph_0$, является известным фактом. Также известно, что для любого бесконечного множества $A$ справедливо $|A| = |A \times A|$ (этот факт, кстати, в ZF эквивалентен аксиоме выбора). Значит, $|Q \times Q| = \aleph_0$. По доказанным выше леммам имеем $\aleph_0 \leqslant |S| \leqslant \aleph_0$. По теореме Кантора-Бернштейна заключаем, что $|S| = \aleph_0$.

P. S. ИМХО с людьми, которые не знают, что такое "сюрьекция", "инъекция" и "теорема Кантора-Бернштейна", разговаривать о мощностях бессмысленно. Ибо они сами не знают, о чём говорят.

Я сам каждую весну трачу несколько семинаров на то, чтобы отучить студентов рассуждать о мощностях на "птичьем языке", оперируя терминами "подсчёт количества элементов" и прочей чепухой. Есть определения, есть теоремы --- вот ими и пользуйтесь. Устанавливайте биекции, сюрьекции, инъекции, но только не "считайте количества"!!!.. по крайней мере в течении нескольких семинаров. Потом, надеюсь, поймёте, что за этими "количествами" на самом деле стоит :wink: 8-)

 Профиль  
                  
 
 
Сообщение21.01.2008, 18:07 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Профессор Снэйп писал(а):
оперирую терминами "подсчёт количества элементов" и прочей чепухой.
Это как?

 Профиль  
                  
 
 
Сообщение21.01.2008, 18:14 
Заморожен
Аватара пользователя


18/12/07
8774
Новосибирск
Dan B-Yallay писал(а):
Правда, если перегнуть с правильностью, могут и занудой назвать.


Лучше перегнуть, чем недогнуть.

Добавлено спустя 38 секунд:

Brukvalub писал(а):
Профессор Снэйп писал(а):
оперирую терминами "подсчёт количества элементов" и прочей чепухой.
Это как?


Это опечатка. Щас исправлю.

Добавлено спустя 2 минуты 3 секунды:

Исправил.

Добавлено спустя 2 минуты 20 секунд:

Maviru писал(а):
Множество S состоит из счётного бесконечного числа альф, каждое из которых представляет собой счётную бесконечную последовательность рациональных чисел


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 12 ] 

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



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

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


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

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