2014 dxdy logo

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

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




 
 Как обозначать «некоторые» и «все» при описании множеств?
Сообщение25.12.2016, 17:36 
Множества можно задавать в математической нотации как $\left\lbrace{x}: P(x)\right\rbrace$, где $P(x)$ — условие, которому должен удовлетворять каждый элемент множества.

Рассмотрим ситуацию, когда $P(x)$ имеет вид $x=f(y), y\in{Y}$. Например, зададим множество ${E}=\left\lbrace{2n}:n\in\mathbb{N}\right\rbrace$, то есть множество чётных натуральных чисел.

Как в такой нотации различать два случая:

  1. $E$ есть множество некоторых чисел вида $2n$, то есть мы хотим сказать: «каждый элемент $E$ имеет вид $2n$», и при этом не обязательно в $E$ входят все чётные натуральные числа;
  2. $E$ есть множество всех чисел вида $2n$?

Какой из этих случаев описывает исходная формула ${E}=\left\lbrace{2n}:n\in\mathbb{N}\right\rbrace$ и что в ней изменить, чтобы она описывала другой случай?

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение25.12.2016, 17:43 
Аватара пользователя
$\{x : P(x)\}$ это множество всех объектов, удовлетворяющих условию $P$.
Если вы хотите рассмотреть какое-то множество $E$ некоторых объектов, удовлетворяющих $P$, можно писать $E \subseteq \{x : P(x)\}$.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение25.12.2016, 18:41 
Аватара пользователя
Маленький хинт: математики не пишут $\left\lbrace 2n \colon n\in\mathbb{N}\right\rbrace,$ а пишут просто $2\mathbb{N}.$ Это означает, что умножение на 2 применяется к каждому элементу множества $\mathbb{N}.$

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение26.12.2016, 00:05 
Это означает, что $2\mathbb{N}$ нужно определить.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение26.12.2016, 00:16 
Во-первых, это широко используемое обозначение (и вы это знаете). Во-вторых, определение буквально рядом же:
Munin в сообщении #1179945 писал(а):
$\left\lbrace 2n \colon n\in\mathbb{N}\right\rbrace,$
и если вы думаете, что ТС чего-то не поймёт, то никто никуда не торопится, и это бы в конечном итоге выяснилось и исправилось.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение26.12.2016, 00:48 
Аватара пользователя
arseniiv в сообщении #1180068 писал(а):
Во-вторых, определение буквально рядом же

У вас цитата сбилась:
    Munin в сообщении #1179945 писал(а):
    умножение на 2 применяется к каждому элементу множества $\mathbb{N}.$

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение26.12.2016, 01:11 
В любом случае, можно было бы написать «[когда $A$ — полукольцо и $n\in A$,] $nA$ означает [подполукольцо] $\{na : a\in A\}$».

-- Пн дек 26, 2016 03:13:11 --

Что, по идее, довольно просто абстрагируется из $2\mathbb N \equiv \{2n : n\in\mathbb N\}$.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение26.12.2016, 01:15 
Аватара пользователя
Все подобные уточнения скучны, и не работают в расширенном смысле, например, когда хочется написать множество нечётных чисел как $2\mathbb{Z}+1.$ А если знать смысл выражения $f(M),$ где $M$ - множество, то всё сразу и навсегда понятно.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение26.12.2016, 01:17 

(Оффтоп)

Хм, ну вот о $f(M)$ я как-то не думал, и возможно не зря, потому что $\mathbb N^2$ уже так нельзя парсить. В любом случае, я не считаю, что у вас недостаточно написано, и что я сцитировал совершенно не то.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение08.01.2017, 15:44 
Аватара пользователя
По-моему, ТС упустил один момент: запись $\{2n: n \in \mathbb{N} \}$ не является записью вида $\{x: P(x)\}$.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение08.01.2017, 16:01 
Аватара пользователя
Это просто сокращение от записи $\left\lbrace x\colon x=2n, n\in\mathbb{N}\right\rbrace.$

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение08.01.2017, 16:44 
Аватара пользователя
Munin, мы-то с вами понимаем, что означает эта запись. Но ваша запись - это "вольность речи". Чтобы она приобрела вид $\{x: P(x)\}$, ее придется записать так: $\{x:\ \exists n \in \mathbb{N}\  \left(x=2n\right)\}$.

Я думаю, что постановка вопроса топикстартером требует такого занудства. Его как раз смутили обычные для математиков вольности в обозначениях.

 
 
 
 Re: Как обозначать «некоторые» и «все» при описании множеств?
Сообщение08.01.2017, 17:55 
Аватара пользователя
popolznev в сообщении #1182734 писал(а):
Но ваша запись - это "вольность речи".

Да, вы правы.

 
 
 [ Сообщений: 13 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group