Дважды начерченная заглавная буква R ℝ
Значение символа
Множество действительных (или вещественных) чисел ℝ проще всего представить себе как все конечные и бесконечные десятичные дроби. ℝ — первое известное людям несчётное множество. Происходит от латинского realis — «действительный».
К III веку стало понятно, что рациональных чисел не хватает для записи расстояний в геометрии. Исчерпывающая теория действительных чисел появилась в XIX веке с развитием математического анализа.
Множества ℕ , ℤ , ℚ , ℝ , ℂ часто записывали жирным шрифтом (например, в работах Николя́ Бурбаки́), а на доске и в рукописях — двойным. В печатные тексты ввели двойной шрифт американские математики; распространился он со знаменитым учебником по комплексному анализу 1965 года Ганнинга и Росси.
Символ «Дважды начерченная заглавная буква R» входит в подраздел «Символы похожие на буквы» раздела «Буквоподобные символы» и был утвержден как часть Юникода версии 1.1 в 1993 г.
Этот текст также доступен на следующих языках: English; Español;
Синонимы
действительные числа, вещественные числа.
Название в Юникоде | Double-Struck Capital R |
Номер в Юникоде | |
HTML-код | |
CSS-код | |
Мнемоника | ℝ |
Плоскости | 0: Основная многоязычная плоскость |
Блок Юникода | Буквоподобные символы |
Подраздел Юникода | Символы похожие на буквы |
Версия Юникода | 1.1 (1993) |
Тип парной зеркальной скобки (bidi) | Нет |
Композиционное исключение | Нет |
Изменение регистра | 211D |
Простое изменение регистра | 211D |
Math | + |
Alphabetic | + |
Uppercase | + |
Cased | + |
ID_Start | + |
ID_Continue | + |
XID_Start | + |
XID_Continue | + |
Grapheme_Base | + |
scripts | Common |
Other_Math | + |
Кодировка | hex | dec (bytes) | dec | binary |
---|---|---|---|---|
UTF-8 | E2 84 9D | 226 132 157 | 14845085 | 11100010 10000100 10011101 |
UTF-16BE | 21 1D | 33 29 | 8477 | 00100001 00011101 |
UTF-16LE | 1D 21 | 29 33 | 7457 | 00011101 00100001 |
UTF-32BE | 00 00 21 1D | 0 0 33 29 | 8477 | 00000000 00000000 00100001 00011101 |
UTF-32LE | 1D 21 00 00 | 29 33 0 0 | 488701952 | 00011101 00100001 00000000 00000000 |