2014 dxdy logo

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

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




 
 Комплексное и действительно векторное пространство
Сообщение04.09.2012, 22:19 
Аватара пользователя
Помогите пожалуйста понять: дано комплексное векторное пространство с базисом $v_1,\ldots,v_n$, а затем рассматривается действительное векторное пространство с базисом $v_1, \ldots, v_n, iv_1, \ldots, iv_n$ - и я вот никак не соображу, как это $iv_1$ базисный вектор действительного векторного пространства, если $i$ - не действительное число?

 
 
 
 Re: Комплексное и действительно векторное пространство
Сообщение04.09.2012, 22:22 
Аватара пользователя
А причём тут $i$? Базисный вектор $iv_k$ нужен. А он просто вектор. Какая у нас проблема с умножением его на действительные числа?

 
 
 
 Re: Комплексное и действительно векторное пространство
Сообщение04.09.2012, 22:24 
Аватара пользователя
sasha_vertreter в сообщении #614889 писал(а):
я вот никак не соображу, как это $iv_1$ базисный вектор действительного векторного пространства, если $i$ - не действительное число?

Мы сначала умножаем на $i$ внутри комплексного пространства, а лишь затем забываем про возможность умножать на не действительные числа.

 
 
 
 Re: Комплексное и действительно векторное пространство
Сообщение04.09.2012, 22:29 
Аватара пользователя
то есть сами вектора никакого отношения к полю коэффициентов же не имеют, точно...
меня просто смутило наверно вот это: пусть $v_k=(1,0,\ldots,0)$ тогда $iv_k=(i,0,\ldots,0)$ - верно/или нет? а действительное векторное пространство $\mathbb{R}^k$ - это же множество кортежей $(\lambda_1,\ldots,\lambda_k)$, где $\lambda_i \in \mathbb{R}$

 
 
 
 Re: Комплексное и действительно векторное пространство
Сообщение04.09.2012, 22:33 
sasha_vertreter в сообщении #614894 писал(а):
меня просто смутило наверно вот это: пусть $v_k=(1,0,\ldots,0)$ тогда $iv_k=(i,0,\ldots,0)$ - верно/или нет?

Да.

sasha_vertreter в сообщении #614894 писал(а):
а действительное векторное пространство $\mathbb{R}^k$ - это же множество кортежей $(\lambda_1,\ldots,\lambda_k)$, где $\lambda_i \in \mathbb{R}$

После овеществления размерность получится в два раза больше, вместо $\mathbb{R}^k$ будет $\mathbb{R}^{2k}$ с базисом
$v_1 = (\underbrace{1, \ldots, 0}_k, \underbrace{0, \ldots, 0}_k)$, $\ldots$, $iv_1 = (\underbrace{0, \ldots, 0}_k, \underbrace{1, \ldots, 0}_k)$, $\ldots$.

 
 
 
 Re: Комплексное и действительно векторное пространство
Сообщение04.09.2012, 22:36 
Аватара пользователя
я вот этого просто не знал почему-то:

sasha_vertreter в сообщении #614894 писал(а):
а действительное векторное пространство $\mathbb{R}^k$ - это же множество кортежей $(\lambda_1,\ldots,\lambda_k)$, где $\lambda_i \in \mathbb{R}$

После овеществления размерность получится в два раза больше, вместо $\mathbb{R}^k$ будет $\mathbb{R}^{2k}$ с базисом
$v_1 = (\underbrace{1, \ldots, 0}_k, \underbrace{0, \ldots, 0}_k)$, $\ldots$, $iv_1 = (\underbrace{0, \ldots, 0}_k, \underbrace{1, \ldots, 0}_k)$, $\ldots$.[/quote]

спасибо!

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


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