Имагинерна единица: Разлика между версии

Изтрито е съдържание Добавено е съдържание
м т. е. --> т.е.; козметични промени
м се явява ---> е
Ред 51:
 
== ''<math>i</math>'' и −''<math>i</math>'' ==
Доколкото е [[полином]] (многочлен) от втора степен, а [[дискриминанта]]та му е различно от нула (т.е. няма повтарящи се корени), горното уравнение има ''две'' различни решения, които са еднакво валидни, а в конкретния случай и взаимно инверсни както адитивно, така и мултипликативно. По-точно, ако едното решение на уравнението сме означили с <math>i</math>, стойността −<math>i</math> (която не е равна на <math>i</math>) също се явявае негово решение. Доколкото уравнението е единственото определение на <math>i</math>, излиза, че определението ни е двусмислено (по точно, не [[добре дефинирано]]). Въпреки това, ако изберем едното от решенията за „положително <math>i</math>", ние не получаваме противоречащи си един на друг резултати. Това е така, защото въпреки че −<math>i</math> и <math>i</math> не са ''количествено'' еквивалентни (те ''са'' отрицателни едно по отношение на друго), няма ''качествена'' разлика между <math>i</math> и −<math>i</math> (което не може да бъде казано за −1 и +1). Двете имагинерни единици имат еднакво основание да бъдат числото, чийто квадрат е −1. Ако всички публикации и учебници по математика, свързани с имагинерните или комплексните числа, бъдат пренаписани, като на всяко място, където се появява −<math>i</math>, се замести с +<math>i</math> (и следователно на всяко място, където се появява −<math>i</math>, се замести с −(−<math>i</math>) = +<math>i</math>), всички математически факти и теореми ще продължат да бъдат еднакво валидни. Разграничаването на двата корена <math>x</math> в уравнението <math>x^2 + 1 = 0</math> с означаването на единия от тях като „положителен“ е артефакт изключително на нотацията; за нито един от двата корена не може да се каже, че е по-първостепенен или фундаментален от другия.
 
Този резултат крие някои тънкости. По-прецизното обяснение изисква да кажем, че въпреки че комплексното [[поле (алгебра)|поле]], определено като '''R'''[''X'']/ (''X''<sup>2</sup> + 1), (виж [[комплексно число]]) е [[еднозначен|еднозначно]] до степен на [[изоморфизъм]], то ''не е'' еднозначно до степен на ''еднозначен'' изоморфизъм — съществуват точно 2 [[автоморфизъм|автоморфизма]] на '''R'''[''X'']/ (''X''<sup>2</sup> + 1), идентичността и автоморфизмът, изобразяващ ''X'' като −''X''. (Това не са единствените автоморфизми в полето '''C''', но са единствените, които съхраняват стойностите на всички реални числа фиксирани.) Виж [[комплексно число]], [[комплексно спрягане]], [[автоморфизъм]], и [[група на Галоа]].