2014 dxdy logo

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

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




 
 Доказательство запугиванием
Сообщение04.12.2018, 19:47 
Видел такую ,жуткого вида, формулу:
$$\left\lvert\oplus_{k \in S}(\mathfrak{N}^{\mathbb{F}^{\alpha}(i)})_{i\in\mathcal{U}_k}\right\rvert\leqslant\aleph_1$$
,при $[\mathfrak{H}]_{\mathcal{W}}\cap\mathbb{F}^{\alpha}(\mathbb{N})\ne\varnothing$ .
Моя попытка расшифровки: мощность прямой суммы алгебр (не знаю как читается эта готическая буква) над расширением поля в степени $\alpha$ ,где суммирование ведется по множеству некоторых баз ,меньше или равна мощности континуума, если пересечением классов эквивалентности чего-то там и расширения множества натуральных чисел в степени $\alpha$ не является пустым множеством. Не понимаю как это правильно все-таки расшифровывается ,если расшифровывается.

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 20:15 

(Оффтоп)

Ioda в сообщении #1358827 писал(а):
не знаю как читается эта готическая буква
Это интересно. Тогда как же вы смогли написать для неё LaTeX-код?

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 20:23 
Ioda в сообщении #1358827 писал(а):
мощности континуума
$\aleph_1$ сам по себе не мощность континуума ($2^{\aleph_0}$). Если принять континуум-гипотезу, да.

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 20:34 
warlock66613 в сообщении #1358829 писал(а):
Тогда как же вы смогли написать для неё LaTeX-код?

Наугад ,но в источнике другая буква.
arseniiv в сообщении #1358831 писал(а):
$\aleph_1$ сам по себе не мощность континуума

Приму к сведению.

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 21:18 
Ioda
Приведите список обозначений из источника.

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 21:49 
Ioda
Чтобы не гадать по поводу фрактурных букв, вот таблица.

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 23:11 
Исправленная копия.
$$\left\lvert\bigoplus_{k \in S}(\mathfrak{K}^{\mathbb{F}^{\alpha}(i)})_{i\in\mathcal{U}_k}\right\rvert\leqslant\aleph_1$$
Там, где я видел эту формулу, не было приведено пояснений к используемым символам, поэтому я гадал ,когда пытался разобрать эту формулу. Вторую из приведенных формул я скопировал верно.

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 23:14 
Аватара пользователя
А что за источник? Обозначения не общепринятые, где-то должно быть объяснение.

 
 
 
 Re: Доказательство запугиванием
Сообщение04.12.2018, 23:24 
Xaositect в сообщении #1358866 писал(а):
А что за источник?

Подозреваю ,что эта формула наверняка является бессмысленной . Источником ее является картинка из интернета с "типичными" методами доказательства, типа доказательство авторитетом, доказательство убаюкиванием ,доказательство ссылкой на литературу и подобные. Просто стало интересно ,что могло бы подразумеваться под таким набором символов.

 
 
 
 Posted automatically
Сообщение05.12.2018, 00:14 
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Пургаторий (М)»
Причина переноса: несоответствие разделу.

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


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