2016年12月20日 | ブログ記事

ベクトルの回転~~線型変換の一例として

こんにちは。traP Advent Calendar 2016 20日目担当のhatasa-yです。

traPでは現在titeQuestのプログラムを担当させていただいています。

いやークリスマスまであと5日ですよー!みなさん予定入ってますか?

僕は予定入ってますよー

数学&進捗

というわけで僕からは線型代数について話したいと思います。(題名と違うじゃないか!)

線型代数とはベクトル空間と線型写像を中心とした代数学の一分野であります。

簡単に言うと、ベクトル空間とは和とスカラー倍の2種類の演算(線型演算)が定義できている空間のことで、線型変換とは線型演算を保存するように、ベクトル空間からベクトル空間への対応のことをいいます。(詳しく知りたい人は線型代数の本を見てください)

理系学部の大学一年生では微分積分学と共に習っていると思います。理工系だけでなく社会科学系の学部でも線型代数の講義が行われていることもあるでしょう。

線型代数は幅広いところで応用されています。プログラムで座標を考える際はかなり線型変換が重要になってきます。ここでは座標の線型変換の一例として回転について紹介したいと思います。

2次元における回転

高校数学では行列 の定める線型変換 が平面 の原点を中心とした角 の回転であると習ったと思います。 とおくと であるが、 のようにして実数としてみると となります。

よって平面 を複素数平面 として考え、 とおくと 人によってはこちらを高校数学で習った方もいらっしゃると思います。

回転という概念を用いて角 及び三角関数 を定義することができますがここでは省略します。

3次元における回転

2次元における回転はできたので、3次元についてはどうだろうかと考える人は多いと思います。

実は3次元でもロドリゲスの公式と呼ばれる回転を表す線型変換はあります。 ただし は大きさ1の回転軸ベクトルである。

初めて見たときは流石になんだこれ!?って思いました。(今でもそうですが)

これについて説明する気はありません。なぜかというとめんどくさいからです。

というわけでこの記事は終了です。

というのはあまりにも酷すぎるのでなんでこんな式になるか軽く説明しておきましょう。

このような図を考えます。

ベクトル を回転軸ベクトル の回りに角 回転させたベクトルを とし、 とします。

であるので となり , , としてこれを計算すると、 から への変換は線形写像となり、上で述べたロドリゲスの公式となります。

3次元で回転を考える際には、必ず回転軸となるものが存在します。その軸と回転角度を設定することでどんな回転も表すことが出来ることが分かりました。実際にゲームを作るときはこの行列を使ってプログラムを書くことだと思います。

最後に

どうでしたか?読んでいても線型変換がよく分からないと思った方もいるかもしれませんが、行列を使って回転を表すことができ、プログラムにも活用できるという紹介でした。

明日はcrotkaz, naosan, parumaさんの3本となります。お楽しみに。

この記事を書いた人
hatasa-y

数学をしています。最近はTeXで遊んでいたりしている。

この記事をシェア

このエントリーをはてなブックマークに追加

関連する記事

2017年11月14日
IBIS2017参加報告
Keijan
2016年12月7日
Clojure, Elixir でプロセス間通信 〜TCP通信でBF & UDS通信でなんでも掲示板〜
Double_oxygeN
2017年11月2日
積分ってなんだろう?区分求積法からリーマン積分へ
Azon
2017年4月20日
学部1年の数学、特にε-δ論法に殺されないために【新歓ブログリレー2017 17日目】
hihumi
2018年12月23日
素数のアレコレつめあわせ
youjo_tape
2017年4月9日
Pythonで数学の課題を解こう【新歓ブログリレー2017 6日目】
hukuda222

活動の紹介

カテゴリ

タグ