狠狠撸

狠狠撸Share a Scribd company logo
連立方程式の解き方
?線形代数とグレブナー基底?
グレブナー基底大好きbot
2018/05/12 数理空間トポス
自己紹介
? グレブナー基底が大好きなbot
? ツイートはすべて手動
? グレブナー基底についてツイート
することでグレブナー基底を普及する
bot
? 数学ラノベ「最近、妹がグレブナー基底
に興味を持ち始めたのだが。」(数理学院
出版)の著者
? 「グレブナー基底にはポン酢が合う」の生みの親
グレブナー基底大好きbotとは?
連立方程式とは?
? 複数の方程式からなる組
? この連立方程式を解く
=(1)と(2)を同時に満たすxとyを見つけること
(本発表では解の個数が有限個のものを考える)
連立方程式を解く
? 加減法
(1)を2倍して(2)を引く。つまり、(1)×2-(2) を計算。
よって、 を(1)に代入して、
答えは、
連立方程式についての疑問
? 加減法でどんな連立方程式も必ず解ける?
連立方程式についての疑問
? 加減法でどんな連立方程式も必ず解ける?
?解けるとしたらどうやって証明する?
連立方程式についての疑問
? 加減法でどんな連立方程式も必ず解ける?
?解けるとしたらどうやって証明する?
? 連立方程式を解く「操作」を数学的に考察できる?
連立方程式についての疑問
? 加減法でどんな連立方程式も必ず解ける?
?解けるとしたらどうやって証明する?
? 連立方程式を解く「操作」を数学的に考察できる?
?「解き方」を数学的に定義できる?
連立方程式についての疑問
? 加減法でどんな連立方程式も必ず解ける?
?解けるとしたらどうやって証明する?
? 連立方程式を解く「操作」を数学的に考察できる?
?「解き方」を数学的に定義できる?
? 2次以上の连立方程式はどうすれば解ける?
連立方程式についての疑問
? 加減法でどんな連立方程式も必ず解ける?
?解けるとしたらどうやって証明する?
? 連立方程式を解く「操作」を数学的に考察できる?
?「解き方」を数学的に定義できる?
? 2次以上の连立方程式はどうすれば解ける?
?
はどうやって解く?
連立方程式についての疑問
? 加減法でどんな連立方程式も必ず解ける?
?解けるとしたらどうやって証明する?
? 連立方程式を解く「操作」を数学的に考察できる?
?「解き方」を数学的に定義できる?
? 2次以上の连立方程式はどうすれば解ける?
?
はどうやって解く?
線形代数
グレブナー基底
连立方程式の係数を抜き出す
行列
? 右のように縦と横に数字を
並べたものは行列と呼ばれる。
? 横に並ぶ方を行、縦に並ぶ方を列と呼ぶ。
1行目
2行目
1
列
目
2
列
目
3
列
目
行 列
色々な行列
行列で連立方程式を解く
1行目
2行目
?行の定数倍(1行目×2など)
?行を足す(1行目+2行目など)
を何回か行って、行列を変形し
ていく
目標: に変形する
行列と連立方程式の対応
変形
どんな操作が許されるか?
? 1つの行の定数倍する
1行目
2行目
2倍
解は変化
しない
どんな操作が許されるか?
? 1つの行(の定数倍)を他の行に足す
1行目
2行目
足す
解は変化
しない
行列と連立方程式の対応
変形
ガウスの消去法①
? ① 1行目の-2倍を2行目に足す
1行目
2行目
-2倍
2行目に加える
各項を計算
ガウスの消去法②
? ② 2行目を 倍する
? ③ 2行目の-2倍を1行目に加える
2行目を 倍
-2倍
行列と連立方程式の対応
変形
連立方程式と行列
? 連立方程式を行列で表した
?係数を行と列に並べる
? 連立方程式を解く操作は、行の操作(行基本変形)に対応す
る
?行を定数倍する、行を足す操作は加減法に対応している
? 行基本変形で(線形)連立方程式が解けることは数学的に証
明できる
? 「線形代数」では、行列の様々な計算について考察する
連立方程式とグレブナー基底
? 右の連立方程式のように、
次数が2次以上の場合には
行列による「ガウスの消去法」は
そのまま適用できない。
グレブナー基底を使うと、どんな連立方程式も解くことができる。
グレブナー基底を計算
から 答えは
複雑な式もグレブナー基底で解ける
グレブナー基底を計算
連立方程式の重要性
? 解が有限個とは限らない連立方程式も考えられる。
これらは代数幾何学の言葉で代数多様体(アフィン多様体)と
呼ばれる。
多くの数学者によって、代数多様体は研究されてきている。
数学とコンピュータ
? 行列の計算やグレブナー基底はコンピュータで計算すること
ができる
? 行列は純粋数学以外にも、人工知能や暗号理論にも用いら
れる
? 近年ではコンピュータを用いた数学の研究も盛んになってきて
いる
まとめ
? 連立方程式は行列を使って解くことができる
? 行列は線形代数において重要な概念である
? 連立方程式は代数幾何学などで扱われる
? 次数が大きい連立方程式はグレブナー基底を使って解ける

More Related Content

What's hot (20)

PDF
Ruby で高速なプログラムを書く
mametter
?
PDF
颁言语讲习会1
odenhadengaku
?
PDF
アプリを成长させるためのログ取りとログ解析に必要なこと
Takao Sumitomo
?
PDF
情報抽出入門 ?非構造化データを構造化させる技術?
Yuya Unno
?
PPTX
とある小型の青歯规格(ブルートゥース)
iPride Co., Ltd.
?
PDF
色々なタ?イクストラ高速化
yosupo
?
PDF
叠颈驳蚕耻别谤测の课金、节约しませんか
Ryuji Tamagawa
?
PPTX
Mongo dbを知ろう
CROOZ, inc.
?
PDF
リッチなドメインモデル 名前探し
増田 亨
?
PDF
言语と知识の深层学习蔼认知科学会サマースクール
Yuya Unno
?
PDF
【基調講演】『深層学習の原理の理解に向けた理論の試み』 今泉 允聡(東大)
MLSE
?
PDF
罢别苍蝉辞谤贵濒辞飞计算グラフ最适化処理
Atsushi Nukariya
?
PDF
叠颈迟肠辞颈苍を技术的に理解する
Kenji Urushima
?
PDF
データセンターネットワークでの笔谤辞尘别迟丑别耻蝉活用事例
驰补丑辞辞!デベロッパーネットワーク
?
PPTX
ト?メイン駆动设计とマイクロサーヒ?ス
kouki_mitsuishi
?
PDF
CF-FinML 金融時系列予測のための機械学習
Katsuya Ito
?
PDF
楕円曲线と暗号
MITSUNARI Shigeo
?
PDF
颁言语讲习会3
odenhadengaku
?
PPTX
ホモトピー型理论入门
k h
?
PDF
机械学习デザインパターンおよび机械学习システムの品质保証の取り组み
Hironori Washizaki
?
Ruby で高速なプログラムを書く
mametter
?
颁言语讲习会1
odenhadengaku
?
アプリを成长させるためのログ取りとログ解析に必要なこと
Takao Sumitomo
?
情報抽出入門 ?非構造化データを構造化させる技術?
Yuya Unno
?
とある小型の青歯规格(ブルートゥース)
iPride Co., Ltd.
?
色々なタ?イクストラ高速化
yosupo
?
叠颈驳蚕耻别谤测の课金、节约しませんか
Ryuji Tamagawa
?
Mongo dbを知ろう
CROOZ, inc.
?
リッチなドメインモデル 名前探し
増田 亨
?
言语と知识の深层学习蔼认知科学会サマースクール
Yuya Unno
?
【基調講演】『深層学習の原理の理解に向けた理論の試み』 今泉 允聡(東大)
MLSE
?
罢别苍蝉辞谤贵濒辞飞计算グラフ最适化処理
Atsushi Nukariya
?
叠颈迟肠辞颈苍を技术的に理解する
Kenji Urushima
?
データセンターネットワークでの笔谤辞尘别迟丑别耻蝉活用事例
驰补丑辞辞!デベロッパーネットワーク
?
ト?メイン駆动设计とマイクロサーヒ?ス
kouki_mitsuishi
?
CF-FinML 金融時系列予測のための機械学習
Katsuya Ito
?
楕円曲线と暗号
MITSUNARI Shigeo
?
颁言语讲习会3
odenhadengaku
?
ホモトピー型理论入门
k h
?
机械学习デザインパターンおよび机械学习システムの品质保証の取り组み
Hironori Washizaki
?

Similar to 连立方程式の解き方?线形代数とグレブナー基底? (10)

PDF
连立方程式(加减法)
大人のための算数教室 大人塾
?
PDF
第8回 配信講義 計算科学技術特論A(2021)
RCCSRENKEI
?
PDF
210603 yamamoto
RCCSRENKEI
?
PDF
技術者が知るべき Gr?bner 基底
Hiromi Ishii
?
PPTX
多项式の反復法を使った解き方.辫辫迟虫
ssuser29d350
?
PDF
连立方程式词连立方程式の意味と一般的な解法~
studyPresenter
?
PDF
2014年度秋学期 応用数学(解析) 第2部?基本的な微分方程式 / 第7回 2階線形微分方程式(1) (2014. 11. 6)
Akira Asano
?
PDF
2014年度秋学期 応用数学(解析) 第2部?基本的な微分方程式 / 第8回 2階線形微分方程式(2) (2014. 11. 13)
Akira Asano
?
PDF
2015年度秋学期 応用数学(解析) 第7回 2階線形微分方程式(1) (2015. 11. 12)
Akira Asano
?
PPTX
连立一次方程式.辫辫迟虫
ssuser29d350
?
连立方程式(加减法)
大人のための算数教室 大人塾
?
第8回 配信講義 計算科学技術特論A(2021)
RCCSRENKEI
?
210603 yamamoto
RCCSRENKEI
?
技術者が知るべき Gr?bner 基底
Hiromi Ishii
?
多项式の反復法を使った解き方.辫辫迟虫
ssuser29d350
?
连立方程式词连立方程式の意味と一般的な解法~
studyPresenter
?
2014年度秋学期 応用数学(解析) 第2部?基本的な微分方程式 / 第7回 2階線形微分方程式(1) (2014. 11. 6)
Akira Asano
?
2014年度秋学期 応用数学(解析) 第2部?基本的な微分方程式 / 第8回 2階線形微分方程式(2) (2014. 11. 13)
Akira Asano
?
2015年度秋学期 応用数学(解析) 第7回 2階線形微分方程式(1) (2015. 11. 12)
Akira Asano
?
连立一次方程式.辫辫迟虫
ssuser29d350
?
Ad

连立方程式の解き方?线形代数とグレブナー基底?