Связанные понятия
В физике, предел Бекенштейна — это верхний предел энтропии S, или количества информации I, которые могут содержаться в заданной ограниченной области пространства, имеющей конечное количество энергии; либо, с другой стороны, максимальное количество информации, необходимое для идеального описания заданной физической системы вплоть до квантового уровня. Это подразумевает, что информация о физической системе, или информация, необходимая для идеального описания системы, должна быть конечной, если система...
Нат — одна из единиц измерения информации. Определяется через натуральный логарифм, в отличие от других единиц, где основание логарифма является целым числом. Нат равен log2e ≈ 1,443 бит.
Формализм Арновитта — Дезера — Мизнера, АДМ-формализм (англ. ADM formalism) — разработанная в 1959 году Ричардом Арновиттом, Стенли Дезером и Чарльзом Мизнером гамильтонова формулировка общей теории относительности. Она играет важную роль в квантовой гравитации и численной относительности.
Логарифмическая система счисления (LNS) — это арифметическая система, иногда используемая для представления вещественных чисел в компьютере и в цифровых аппаратных средствах, особенно в цифровой обработке сигналов.
Производящий функционал — это расширение понятия производящей функции моментов для одномерного / конечномерного распределения Гаусса на континуальное распределение Гаусса.
В квантовой механике,
ток вероятности (или поток вероятности) описывает изменение функции плотности вероятности.
Сфера Блоха — способ представления чистых состояний кубита в виде точек на сфере.
Тео́рия поле́й — раздел математики, занимающийся изучением свойств полей, то есть структур, обобщающих свойства сложения, вычитания, умножения и деления чисел.
Коэффицие́нт асимметри́и в теории вероятностей — величина, характеризующая асимметрию распределения данной случайной величины.
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.
В комбинаторике последовательность Дэвенпорта — Шинцеля является последовательностью символов, в которой любые два символа могут появиться в чередующемся порядке ограниченное число раз. Максимальная возможная длина последовательности Дэвенпорта — Шинцеля ограничена числом символов, умноженном на небольшой постоянный множитель, который зависит от числа разрешённых чередований. Последовательности Дэвенпорта — Шинцеля были впервые определены в 1965 году Гарольдом Дэвенпортом и Анджеем Шинцелем для анализа...
Фо́рмула Кирхго́фа — аналитическое выражение для решения гиперболического уравнения в частных производных (т. н. «волнового уравнения») во всём трёхмерном пространстве. Методом спуска (то есть уменьшением размерности) из него можно получить решения двумерного (Формула Пуассона) и одномерного (Формула Д’Аламбера) уравнения.
Уравнение Баркера — уравнение, в неявном виде, определяющее зависимость между положением небесного тела (истинной аномалией) и временем, при движении по параболической орбите. Данное уравнение широко применялось при изучении орбит комет, орбиты которых имеют эксцентриситет близкий к единице. В настоящее время это уравнение находит применение в астродинамике...
В теории представлений групп Ли и алгебр Ли, фундаментальное представление — это неприводимое конечномерное представление полупростой группы Ли или алгебры Ли, старший вес которого является фундаментальным весом. Например, определяющий модуль классической группы Ли является фундаментальным представлением. Любое конечномерное неприводимое представление полупростой группы Ли или алгебры Ли полностью определяется своим старшим весом (теорема Картана) и может быть построено из фундаментальных представлений...
Подробнее: Фундаментальное представление
Перебор делителей (пробное деление) — алгоритм факторизации или тестирования простоты числа путём полного перебора всех возможных потенциальных делителей.
В теории колец,
простой модуль (также используется название «неприводимый модуль») над кольцом R — это модуль над R, не имеющий ненулевых собственных подмодулей. Эквивалентно, модуль является простым тогда и только тогда, когда любой циклический модуль, порожденный одним его элементом (ненулевым элементом), совпадает со всем модулем. Простые модули служат для построения модулей конечной длины, в этом смысле они похожи на простые группы.
Универсальная тригонометрическая подстановка , в англоязычной литературе называемая в честь Карла Вейерштрасса подстановкой Вейерштрасса, применяется в интегрировании для нахождения первообразных, определённых и неопределённых интегралов от рациональных функций от тригонометрических функций. Без потери общности можно считать в данном случае такие функции рациональными функциями от синуса и косинуса. Подстановка использует тангенс половинного угла.
Центрированное квадратное число — это центрированное полигональное число, которое представляет квадрат с точкой в центре и все остальные окружающие точки, находящиеся на квадратных слоях.
Пробле́ма космологи́ческой постоя́нной — закрепившееся в современной астрофизике выражение, означающее грубую ошибку, которую дают предсказания значения космологической постоянной посредством применения двух фундаментальных физических теорий: общей теории относительности (ОТО) и квантовой физики. Предсказанная величина получается больше экспериментально измеренной на 120 порядков — «наихудшее предсказание, когда-либо сделанное научной теорией», по словам Ли Смолина.
Почти многоугольник — это геометрия инцидентности, предложенная Эрнестом Е. Шультом и Артуром Янушкой в 1980. Шульт и Янушка показали связь между так называемыми тетраэдрально замкнутыми системами прямых в евклидовых пространствах и классом геометрий точка/прямая, которые они назвали почти многоугольниками. Эти структуры обобщают нотацию обобщённых многоугольников, поскольку любой обобщённый 2n-угольник является почти 2n-угольником определённого вида. Почти многоугольники интенсивно изучались, а...
В теории категорий, представимый функтор — функтор специального типа из произвольной категории в категорию множеств. В некотором смысле, такие функторы задают представление категории в терминах множеств и функций.
Вложение Сегре используется в проективной геометрии для того, чтобы рассматривать прямое произведение двух проективных пространств как проективное многообразие. Названо в честь итальянского математика Беньямино Сегре.
Матрица расстояний — это квадратная матрица типа «объект-объект» (порядка n), содержащая в качестве элементов расстояния между объектами в метрическом пространстве.
Мемоизация (запоминание, от англ. memoization (англ.) в программировании) — сохранение результатов выполнения функций для предотвращения повторных вычислений. Это один из способов оптимизации, применяемый для увеличения скорости выполнения компьютерных программ. Перед вызовом функции проверяется, вызывалась ли функция ранее...
Количество степеней свободы — это количество значений в итоговом вычислении статистики, способных варьироваться. Иными словами, количество степеней свободы показывает размерность вектора из случайных величин, количество «свободных» величин, необходимых для того, чтобы полностью определить вектор.
Алгоритм Дугласа-Пекера — это алгоритм, позволяющий уменьшить число точек кривой, аппроксимированной большей серией точек. Алгоритм был независимо открыт Урсом Рамером в 1972 и Давидом Дугласом и Томасом Пекером в 1973. Также алгоритм известен под следующими именами: алгоритм Рамера-Дугласа-Пекера, алгоритм итеративной ближайшей точки и алгоритм разбиения и слияния.
При́знак Паска́ля — математический метод, позволяющий получить признаки делимости на любое число. Своего рода «универсальный признак делимости».
По́лная систе́ма коммути́рующих наблюда́емых (ПСКН) — множество перестановочных (коммутирующих) самосопряжённых операторов, описывающих квантовые наблюдаемые и определяющих обобщённый базис пространства чистых состояний квантовой системы. Это понятие впервые было предложено Дираком и является одним из основных в квантовой механике. Обобщенные собственные значения операторов ПСКН называются квантовыми числами.
Метод простой итерации — один из простейших численных методов решения уравнений. Метод основан на принципе сжимающего отображения, который применительно к численным методам в общем виде также может называться методом простой итерации или методом последовательных приближений. В частности, для систем линейных алгебраических уравнений существует аналогичный метод итерации.
В физике и математике, в отрасли динамических систем, двойной маятник — это маятник с другим маятником, прикреплённым к его концу. Двойной маятник является простой физической системой, которая проявляет разнообразное динамическое поведение со значительной зависимостью от начальных условий. Движение маятника руководствуется связанными обыкновенными дифференциальными уравнениями. Для некоторых энергий его движение является хаотическим.
Подробнее: Двойной маятник
Нумерация Гёделя — это функция g, сопоставляющая каждому объекту некоторого формального языка её номер. С её помощью можно явно пронумеровать следующие объекты языка: переменные, предметные константы, функциональные символы, предикатные символы и формулы, построенные из них. Построение нумерации Гёделя для объектов теории называется арифметизацией теории — оно позволяет переводить высказывания, аксиомы, теоремы, теории в объекты арифметики. При этом требуется, чтобы нумерация g была эффективно вычислимой...
Сортировка расчёской (англ. comb sort) — это довольно упрощённый алгоритм сортировки, изначально спроектированный Влодзимежом Добосевичем в 1980 г. Позднее он был переоткрыт и популяризован в статье Стивена Лэйси и Ричарда Бокса в журнале Byte Magazine в апреле 1991 г. Сортировка расчёской улучшает сортировку пузырьком, и конкурирует с алгоритмами, подобными быстрой сортировке. Основная идея — устранить черепах, или маленькие значения в конце списка, которые крайне замедляют сортировку пузырьком...
Эквипотенциальные поверхности — понятие, применимое к любому потенциальному векторному полю, например, к статическому электрическому полю или к ньютоновскому гравитационному полю. Эквипотенциальная поверхность — это поверхность, на которой скалярный потенциал данного потенциального поля принимает постоянное значение (поверхность уровня потенциала). Другое, эквивалентное, определение — поверхность, в любой своей точке ортогональная силовым линиям поля.
Подробнее: Эквипотенциальная поверхность
Теория одноэлектронной Вселенной — гипотетическая модель Вселенной, в которой все электроны являются одним электроном, находящимся попеременно в разных точках пространства. Предпосылкой для создания гипотезы являлся принцип тождественности электронов, то есть невозможность экспериментально различить два электрона. Основоположником гипотезы считается Ричард Фейнман. Ввиду своей простоты гипотеза может быть сформулирована в рамках школьной программы по физике.
Синглетон — множество с единственным элементом. Например, множество {0} является синглетоном.
Единичный отрезок — величина, принимаемая за единицу при геометрических построениях. При изображении декартовой системы координат, единичный отрезок обычно отмечается на каждой из осей.
Сигнату́ра — числовая характеристика квадратичной формы или псевдоевклидова пространства, в котором скалярное произведение задано с помощью соответствующей квадратичной формы.
Закон повторного логарифма — предельный закон теории вероятностей. Теорема определяет порядок роста делителя последовательности сумм случайных величин, при котором эта последовательность не сходится к нулю, но остается почти всюду в конечных пределах.
Область главных идеалов — это область целостности, в которой любой идеал является главным. Более общее понятие — кольцо главных идеалов, от которого не требуется целостности (однако некоторые авторы, например Бурбаки, ссылаются на кольцо главных идеалов как на целостное кольцо).
Принцип «космической цензуры » был сформулирован в 1970 году Роджером Пенроузом в следующей образной форме: «Природа питает отвращение к голой сингулярности». Он гласит, что сингулярности пространства-времени появляются в таких местах, которые, подобно внутренним областям чёрных дыр, скрыты от наблюдателей. Близким, хотя и отличным от этого понятием является топологическая цензура.
Случайный элемент — обобщение понятия случайной величины. Термин был введён, по-видимому, М.Фреше (1948), отмечавшим, что «развитие теории вероятностей и расширение области её приложений привели к необходимости перейти от схем, где (случайные) исходы опыта могут быть описаны числом или конечным набором чисел, к схемам, где исходы опыта представляют собой, например, векторы, функции, процессы, поля, ряды, преобразования, а также множества или наборы множеств».
Лемма о накачке (лемма о разрастании, лемма-насос; англ. pumping lemma) — важное утверждение теории автоматов, позволяющее во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку имеет смысл делать только для бесконечных языков. Термин «накачка» в названии леммы отражает возможность многократного повторения некоторой подстроки в любой строке подходящей длины любого бесконечного автоматного языка.