Форум программистов, компьютерный форум, киберфорум
Математика
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.56/9: Рейтинг темы: голосов - 9, средняя оценка - 4.56
0 / 0 / 0
Регистрация: 06.09.2013
Сообщений: 14

Аксиома непрерывност(полноты)

06.09.2013, 23:36. Показов 1890. Ответов 2
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Помогите доказать , что множество рациональных чисел "Q" не удовлетворяет аксиоме полноты.
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
06.09.2013, 23:36
Ответы с готовыми решениями:

аксиома метрики
Пусть Х- множество всех пар действительных чисел (a,b) Для любых двух его элементов x (a1,b1), y(a2,b2) положим p(x,y)=|a2-a1|+|b2-b1|....

Критерий полноты подпространства
Подпространство полного метрического пространства полно тогда и только тогда, когда оно замкнуто в этом метрическом пространстве....

Аксиома нашего мира
Аксиома это утверждение, которое принимается без доказательств. Вот одно из них: Каждая физическая величина конечна!! Иначе говоря,...

2
Диссидент
Эксперт C
 Аватар для Байт
27714 / 17332 / 3810
Регистрация: 24.12.2010
Сообщений: 38,978
07.09.2013, 00:08
http://ru.wikipedia.org/wiki/%... 0%B5%D0%BB
Что именно здесь вызывает затруднения?
0
Супер-модератор
Эксперт функциональных языков программированияЭксперт Python
 Аватар для Catstail
38173 / 21108 / 4307
Регистрация: 12.02.2012
Сообщений: 34,706
Записей в блоге: 14
11.09.2013, 19:57
Достаточно построить фундаментальную последовательность, не имеющую рационального предела. В качестве таковой можно взять последовательность десятичных приближений √2 = {1, 1.4, 1.41, 1.4142,...}
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
11.09.2013, 19:57
Помогаю со студенческими работами здесь

Проверка полноты системы функций
Дана функция: (x∨y,¬x) Нужно проверить её на полноту. Как это делается? Какую роль здесь играет отрицание x?

Теория полноты: классы Поста
Можно ли из системы функций {f1=(11001010), f3=xz+yz+y} получить ^(лог. И), НЕ X (отрицание X) и если можно, то написать определяющее...

Аксиома теории вероятностей и свойства вероятности
С помощью аксиом теории вероятностей и свойств вероятности доказать, что для любых случайных событий А, В, С выполняется равенство: Р (А U...

Qt, XMPP, проверка полноты принятых данных
Пишу небольшой XMPP клиент. Проверяю полноту данных таким образом: bool CIncomingDataManager::isFullData(QByteArray btaData) { ...

Параллельные прямые - аксиома или теорема?
Формулировка: В одной плоскости с заданной прямой через точку, не лежащую на этой прямой, можно провести только одну прямую, параллельную...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
3
Ответ Создать тему
Новые блоги и статьи
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer
8Observer8 08.02.2026
Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств
8Observer8 07.02.2026
Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве
8Observer8 02.02.2026
Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .
Философия технологии
iceja 01.02.2026
На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .
SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf
8Observer8 01.02.2026
Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли
8Observer8 30.01.2026
Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm
8Observer8 30.01.2026
Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .
SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 29.01.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru