«Векторы на самом деле не числа» — насколько правильно это утверждение?

С тех пор, как я впервые узнал о векторах, я заметил кое-что интересное: почти любую числовую формулу можно заменить векторной формулой, просто заменив сложение, умножение и т. д. их векторными поэлементными версиями. Например:

average a b = (a + b) / 2

получает не только среднее значение двух чисел, но и среднюю точку между двумя векторами, если вы используете поэлементное сложение. В исчислении многие формулы для интегралов можно таким же образом распространить на тройные и четверные интегралы без изменений. Что еще более интересно, некоторые формулы таким образом получают размерную общность.

distance a b = modulus (a - b)

Эта формула верна для чисел, возвращая их разность, но также работает для любых n-мерных векторов, возвращая их n-мерное расстояние. Даже сложные формулы, такие как:

intersectAABB (Ray r_pos r_dir) (AABB aabb_min aabb_max) 
    = [tmin, tmax] where
        t1   = (aabb_min - r_pos) / r_dir
        t2   = (aabb_max - r_pos) / r_dir
        tmin = foldr1 max (liftI2 min t1 t2)
        tmax = foldr1 min (liftI2 max t1 t2)

получить такую ​​же выгоду. В этом случае , intersectAABBиспользуемый для чисел, возвращает расстояние пересечения между линией и сегментом. При использовании с двумерными векторами он возвращает расстояния пересечения между линией и прямоугольником. С трехмерными векторами расстояния пересечения между линией и прямоугольным параллелепипедом. И так далее.

Все это наводит меня на мысль, что есть смысл использовать векторы так же, как и числа. У меня вопрос: почему никто так не делает? Почему считается dotи crossсчитается векторной версией умножения, когда это в основном совершенно разные операции? Есть ли случай, когда использование векторов вместо чисел перестает иметь смысл?

Что такое числа?
Я не знаю. Пожалуйста, скажите мне. Что такое числа? Что такое векторы? Какова их связь?
Термин «число» сам по себе безнадежно расплывчат. Мы используем его по-разному.
Это зависит от того, что вы хотите делать с «числами». Обычно мы требуем обратимого сложения и обратимого умножения (для всех ненулевых «чисел»), поэтому большинство действий, которые мы можем делать с вещественными или комплексными числами, можно делать над любым полем . Это зависит от того, является ли покомпонентное умножение «достаточно хорошим» для приложения, которое вы имеете в виду, потому что оно определенно необратимо.
@Dokkat, вектор является элементом векторного пространства. Векторное пространство — это непустое множество с двумя операциями, обладающее некоторыми свойствами, такими как ассоциативность, дистрибутивность, конмутативность и т. д.
Кто-нибудь, начните говорить о группах, полях и кольцах.
Натуральные числа, целые числа, порядковые числа и количественные числа не имеют мультипликативных инверсий. @pjs36
Вы рассматриваете векторы как многомерные числа или числа как одномерные векторы?
@ThomasAndrews Действительно, и, к счастью, они могут с удовольствием выполнять свои различные роли! Я забыл упомянуть, что это зависит от того, что мы хотим делать с нашими «числами»? :)

Ответы (6)

Что касается сложения и вычитания, то векторы ведут себя точно так же, как любое понятие числа, которое вы хотите назвать. Но поэлементное умножение сложнее: проблема деления на ноль усложняется, например, до деления на векторы с любым нулевым входом. Более того, у поэлементного умножения меньше применений, чем у скалярного и векторного произведения. Последние имеют физический и геометрический смысл, которого нет у первых. Это самая важная причина, по которой мы используем их чаще.

… использований меньше … извините
@ columbus8myhw: «... нынешняя стандартная педантичность о меньшем / меньшем количестве на самом деле является одним из многих ложных «правил», которые недавно выпали из перенасыщенного раствора лингвистического невежества, где варится большинство советов по использованию ". - Марк Либерман , лингвист Университета Пенсильвании.
Я полагаю. (Лично я говорю: «…применений не так много…». Я странный.)
@JairTaylor - это может быть правдой, но различие между дискретными и непрерывными числами таково, что наличие разных слов для описания сравнений в каждом из двух случаев полезно для более широкого понимания концепций. Кроме того, вы бы никогда не сказали «меньше воды», так что разница явно есть. Но, конечно, это все не предмет обсуждения, так что больше ничего не скажу.
@GlenO, вы должны прочитать запись в блоге, на которую ссылается Джаир. Как вы заметили, Fewer действительно используется только для исчисляемых, но «меньше исчисляемых использовалось в английском языке примерно столько же, сколько существует письменный английский язык». Это имеет математический смысл, поскольку целые числа (которые, я думаю, вы подразумеваете под «дискретными числами») по порядку изоморфны подмножеству действительных чисел (которые, как я снова собираюсь предположить, являются тем, что вы подразумеваете под «непрерывными числами»). Извините, что продолжаю неуместную грамматическую дискуссию.
@ columbus8myhw Извините, я не хотел превращать это в спор о грамматике, ха-ха. В основном мне просто нравится Language Log. Для справки, я бы, наверное, сказал: «Меньше пользы от…».
@SashoNikolov - просто чтобы уточнить, я имел в виду «дискретный» и «непрерывный» в английском смысле, а не в математическом смысле. Вещи, которые вы считаете, дискретны, вещи, которые вы измеряете, непрерывны.
@JairTaylor «Меньше» для исчисляемого, «меньше» для неисчислимого. Это означает, что у вас меньше рациональных, но и меньше реальных вещей. :)

Вообще слово «число» должно относиться не к отдельному объекту, а к множеству. Затем вы можете сказать, что набор представляет собой набор «чисел», если вы можете сложить и умножить любые два элемента набора, чтобы получить третий элемент набора, удовлетворяющий определенным отношениям (дистрибутивность, ассоциативность и т. д.). Обратите внимание, что это определение основано на возможности добавления двух чисел в набор, поэтому любой отдельный элемент набора нельзя назвать числом без ссылки на окружающий «набор чисел». Таким образом, набор чисел, «определенный» таким образом, на самом деле является просто кольцом (или, если это особенно приятно, полем).

Точно так же слово «вектор» не должно относиться к одному объекту, а опять же к набору. То есть множество есть «векторное пространство» над некоторым полем. К если оно удовлетворяет аксиомам векторного пространства (см. определение векторного пространства в Википедии).

Обратите внимание, что поле К удовлетворяет аксиомам векторного пространства, и, таким образом, элементы К можно рассматривать как числа, так и векторы. Это становится особенно полезным при изучении расширений полей. л / К , где сейчас л представляет собой многомерное векторное пространство над К , поэтому элементы л являются и числами, и векторами.

В любом случае, ответ на ваш вопрос, как я его вижу, заключается в том, что типичные определения/понятия чисел и векторов просто разные . Кольцо иногда является векторным пространством (если содержит поле), а в противном случае - нет. Точно так же векторное пространство обычно не является кольцом/полем, потому что вы не всегда можете умножать векторы, но некоторые векторные пространства являются ими. Другими словами, число против вектора не похоже на разницу между яблоком и апельсином. Числа против векторов больше похожи на «высоких людей» против «тощих людей». Кто-то может быть высоким, худым, и тем и другим, или ни тем, ни другим.

«Число относится к набору объектов»?!?!? Что я здесь неправильно понимаю... Число, кажется, единственное число.
@ user121330 Я имею в виду, что свойство объекта Икс быть «числом» не присуще самому объекту. Вместо этого можно сказать, что Икс является числом, если оно является элементом «системы счисления», например кольцом или полем. В конце концов, слово «число» не имеет «стандартного» определения, но это верно и для многих вещей. Например, я думаю, что это была знаменитая цитата, сделанная одним судьей, которая гласила: «Я не могу дать вам определение порнографии, но я узнаю это, когда увижу».
@user121330 user121330 Во всяком случае, ответ на ваш самый последний вопрос в OP заключается в том, что во многих отношениях векторы ведут себя как типичные «числа» (скажем, элементы С ). Однако вопрос о том, является ли элемент вектором или числом, неверен. Вместо этого вы должны спросить: является ли это множество векторным пространством? Это поле/кольцо? Это правильный вопрос, потому что векторные пространства и поля/кольца на самом деле имеют определения, и поэтому вы можете ответить на вопрос, проверив аксиомы.
@user121330 user121330 Если вы хотите задать вопрос: «Является ли Икс число?» Вам, конечно, придется начать с выбора определения для «числа», и ответ, скорее всего, будет меняться в зависимости от выбранного вами определения. Это похоже на вопрос «почему 1 + 1 = 2?» Чтобы ответить на этот вопрос, вы должны сначала определить каждое слово/символ в вопросе.В целом все в порядке, пока вы не попытаетесь определить «2», после чего большинство математиков скажут, что 2 — это просто символ, который мы используем для обозначения. к 1+1, поэтому уравнение верно по определению.
Я не очень разбираюсь в порнографии, но я звоню в Цитирование . Числа довольно хорошо определяются как элементы множества (которое может быть простым, положительным, целым, действительным, комплексным, гиперкомплексным и т. д.), а не сами множества.
@user121330 user121330 Проблема с этим определением в том, что числом может быть что угодно. Например, возьмите апельсин. Теперь рассмотрим набор, состоящий из этого апельсина и яблока. Затем мы придаем этому набору структуру поля, говоря, что оранжевый — это аддитивная идентичность, яблоко + яблоко = апельсин, яблоко*яблоко = яблоко и т. д. Таким образом, оранжевый теперь является элементом поля {апельсин, яблоко}, следовательно, это число.
Не цитата. Кроме того, я не дал полного определения числа, просто указал, что число — это отдельная вещь, тогда как набор — это тип совокупности.

В вашем вопросе упоминается сложение и вычитание, а также показаны аналогии между сложением и вычитанием чисел, с одной стороны, и сложением и вычитанием векторов, с другой стороны.

Но числа, как обычно понимают, имеют больше операций и отношений, чем просто сложение и вычитание. Например, числа имеют отношение двоичного порядка, и порядок подчиняется таким законам, как

  1. а < б и б < с подразумевает а < с
  2. а < б подразумевает а + с < б + с

Векторы, как правило, не имеют такого отношения порядка. Таким образом, векторы на самом деле не являются числами.

хотя вы также сказали бы, что комплексные числа - это числа , и они, очевидно, не имеют отношения порядка.
Разве для этого не работает лексикографический порядок? (a,b) < (c,d) тогда и только тогда, когда a < c или ( a = c и b < d )
@immibis Комплексные числа можно упорядочить, если вы учитываете только сложение и вычитание. Однако наше обычное определение порядка полей включает совместимость с умножением, поэтому обычные правила, такие как а 0 и б 0 подразумевает а б 0 держать. Лексикографический порядок комплексных чисел не учитывает положительность при умножении, и на самом деле порядок не учитывается (именно это имел в виду oxeimon).

Один из способов увидеть, что векторы «являются числами», состоит в том, чтобы проследить эволюцию концепции или, можно сказать, ее генеалогию, которая не претендует на точную историческую достоверность, но формулирует математическое значение.

Теперь, начиная с положительных целых чисел, их можно замкнуть на сложение, чтобы получить целые числа; а затем при умножении, чтобы получить рациональные числа, но в этом есть «пробелы»; таким образом, мы завершаем их, включая иррациональные числа, которые дают нам действительные числа.

Теперь мы вступаем в царство геометрии, замечая, что это просто (реальная) прямая линия, но есть геометрические объекты, такие как плоскости и объемы, из которых мы открываем понятие измерения; и, таким образом, мы «завершаем» по размерности, чтобы получить понятие n-мерного векторного пространства.

Стоит отметить, что внутреннее или скалярное произведение очевидным образом обобщается на произвольные размеры; но перекрестный продукт - нет, по крайней мере, не напрямую; правильная концепция, которая заменяет это, - это продукт клина.

Каков «очевидный способ» перекрестного произведения? На мой взгляд, это довольно очевидно, это просто определитель n-мерной матрицы под моноидом списка (вместо сложения)...

Векторы — это не числа, различия гораздо важнее, чем сходства.

  • Векторы представляют не величины, как числа, а направления. В то время как математики определяют векторы более абстрактно, как любой список чисел ( кортежей ), физики более строги: каждый компонент вектора имеет одинаковую размерность, и вы можете перемещать (перемещать и вращать) вектор, применяя вращательные и поступательные матрицы ( это двумерные объекты, вы также можете видеть их как векторы векторов). Число безразмерно, его нельзя использовать для моделирования направлений или поворотов .

  • Делить на вектор нельзя. То, что называется умножением для чисел, является масштабированием для векторов, и поскольку у нас есть часть направления/вращения, существуют операции, называемые «умножением», которые точно моделируют это. (Я не добавляю здесь четырехвекторное произведение).

    • Скалярное произведение : у вас есть два вектора, и вы хотите знать, показывают ли они одно и то же направление. Применение скалярного произведения дает вам число (!) в результате двух векторов и возвращает значение в диапазоне от -(длина вектора) до (длина вектора). Если он равен 0, два вектора перпендикулярны; это также один случай, отличный от чисел. Если ни a, ни b не равны нулю, то a*b не может быть нулевым, если a и b — числа; это не относится к векторам. Это также позволяет умножить матрицу на вектор, чтобы получить матрицу.

    • Перекрестное произведение : у вас есть два вектора, и вы хотите иметь вектор, перпендикулярный заданным двум векторам. Длина результирующего вектора зависит от того, насколько перпендикулярны сами два вектора. Если они перпендикулярны друг другу, то длина будет произведением их длин, если они равны, результирующий вектор равен нулю (логично: перпендикулярность больше невозможна).

    • Двоичное произведение : создает матрицу из двух векторов. Объяснение того, что он делает, было бы длинным. Никаких цифр вообще не задействовано, так что не интересно.

Что действительно интересно: Если вы комбинируете числа, результат всегда не определяется или само число. С векторами дело обстоит иначе: результатом может быть число, вектор или матрица.

Причина, по которой вы замечаете это сходство, заключается в том, что многие из этих структур являются алгебраическими. Векторы представляют собой группу, подобную обычным числам, и даже кольцо с векторным произведением. Однако одна важная вещь заключается в том, что умножение на скаляр в векторных пространствах принадлежит только модулям, а числа не являются модулями.

Другой пример того, что «похоже на число», — это симметрия. Возьмите равносторонний треугольник и посмотрите, как можно составить эти симметрии. Это ассоциативно и имеет ноль, как числа, но также имеет различия между числами. В общем, есть много вещей, подобных числам (рассматриваемым в абстрактной алгебре), но не называемых числами.