小学理科720199 views
小学算数1201030 views
高校倫理1440914 views
高校物理160543 views
英語614322 views
高校国語788606 views
いろは3013586 views
世界の国564972 views
LaTeX962713 views
Computer368461 views
Help
Tools
NewsSpreadsheetCalendarBookkeepingMarkdown TablesLanguage Model NewsLinux CommandsSlidesTier ListPen ToolIllustrationCrayonWatercolorPixel ArtASCII ArtPerspectiveEndless StairsGraphMind MapER DiagramFamily TreeMemeCurved TextImage EditorMosaicRetro FilterPencil SketchSwirl EffectLine ArtOCR/HighlighterMakeup EditorFaviconVideo TrimmerScrolling VideoVideo TitleColor PickerColor ExtractorBonfireFireworksCherry BlossomWater RippleWater SplashBreaking GlassGlass TextureFabric TextureWood GrainMarble TextureBrick Wall TextureMetal TextureWashi Paper TextureCardboard TextureCSS ButtonIcon MakerBar ChartGrouped Bar ChartStacked Bar ChartPie ChartLine ChartArea ChartStacked Area ChartScatter Plot3D Bar Chart3D Pie ChartBar Chart RaceBubble ChartPopulation PyramidPictogramEarningsCandlestick ChartInvestment RiskMortgage SimulatorCalculatorMatrix CalculatorFunction GraphPolynomial ExpansionVenn DiagramField VisualizerRubik's Cube Group TheoryTraveling SalesmanVoronoi and DelaunayFractalUniversity Entrance Exam MathColumn ArithmeticDraw Math FiguresArithmetic AnimationArithmetic Word ProblemsCounting with Tree DiagramsCube NetsRolling DiceCross SectionsMotion PathMechanicsWavesUniversity Entrance Exam Physics解析力学Quantum MechanicsStatistical MechanicsRelativityCelestial MechanicsAstrophysicsCosmologyElectromagnetic WavesCapacitorsLight and LensesThermodynamicsHow Semiconductors WorkMolecular StructuresAtomic OrbitalsElectrochemical CellsChemical EquilibriumCrystal LatticesBuffer pHOrganic Reaction MapPeriodic TableComplex IonsDNA Double HelixCell DivisionMembrane ChannelsNerve ImpulseMuscle ContractionHormones and HomeostasisRock ClassificationWeatherConstellationsSolar and Lunar Eclipses3D ModelingFloor PlanSeismic StructuresIntersection TurnMaglevCooking AnimationOrigamiLive Viewer CountGeoJSON MapRailway MapPopulation MapCrime MapLand Price MapSchool MapShrine and Castle MapHouse of Representatives MapWord MapSolitaireReversiHakoiri MusumeChessHamburgerRippleSlide Puzzle MakerNeon PinballNovel MakerJapanese Typing PracticePiano Score EditorMusic TheoryShogi StrategyPiano Rhythm Game

English

その行列は対角化できる?重複度をそろえる判定練習

重解がなければ、その時点で対角化できる。重解があるときだけ、階数を 1 回計算して確かめる[1]

この値が代数的重複度に届けば合格。1 つでも足りなければ対角化できない[3]

以下 13 問。 次から 次まで、文字を含む場合、体を広げると結論が変わる場合まで並べた。

判定の順序

固有多項式を解いて固有値を出す。重解がなければそこで終わり、あるものだけ階数を見る。

固有ベクトルを書き下す必要はない。掃き出して段の数を数えるだけで、次元が決まる。

問題 1

固有値は の重解。代数的重複度は である。

の第 1 行が 、第 2 行が で階数は 。よって

で足りないので、対角化できない。

問題 2

すでに対角行列である。固有値 の重複度は で階数 なので

一致するので対角化できる。 をとればよい。

問題 3

固有多項式は 。判別式は で、相異なる つの実固有値をもつ。

異なる固有値の固有ベクトルは自動的に一次独立なので、階数を計算するまでもなく対角化できる[2]

問題 4

固有多項式は 。実数の範囲に根がない。

実数の範囲では固有ベクトルが 本もないので、対角化できない。回転なので、向きの変わらない方向がないというのが理由である。

複素数まで広げると固有値は で、相異なる つ。 では対角化できる。

どちらの体で考えているかで結論が変わる例である[3]

問題 5

対角行列なので対角化できる。固有値 の重複度は の階数は なので で一致する。

問題 6

固有値は 重解。 は右上に つ並ぶ形で、階数は

で、 に届かない。対角化できない。

これはジョルダン細胞そのもので、固有値 次の細胞 個からなる。

問題 7

実対称行列である。この時点で対角化できると分かる[1]

実対称なら固有値がすべて実数で、直交行列で対角化できることが保証されている。重複度を数える必要がない。

実際に計算すると固有値は 、固有ベクトルは で直交している。

問題 8

上三角なので固有値は の代数的重複度は である。

を書くと第 1 行が 、他は で階数は

一致するので対角化できる。 は重複がないので確かめなくてよい。

問題 9

固有値は 成分が 成分が で、階数は

。代数的重複度の に足りないので、対角化できない。

問題 8 と形は似ているが、 の入り方が違うだけで結論が変わる。

問題 10

を満たす行列は対角化できることを示し、次で確かめよ。

を消すので、最小多項式は のいずれか。どれも重根を持たない[2]

最小多項式が重根を持たなければ対角化できるので、射影はつねに対角化できる。

この で確かめる。

固有値は で相異なるので、対角化できる。

問題 11

かつ の行列は対角化できないことを示せ。

最小多項式は なので ではなく、 になる。 が重根である。

具体例で見る。 成分だけが 次行列なら、固有値は の重解。

の階数は なので に届かず、対角化できない。

零行列でないべき零行列は、どれも対角化できない。対角化できれば だけの対角行列になり、 になってしまうためである。

問題 12

次が対角化できる の値を求めよ。

固有値は の重解。 成分だけが の行列である。

なら階数が 、足りないので対角化できない。

なら で階数 となり対角化できる。答えは だけ。

問題 13

固有多項式は の重解である。

は両方の行が で階数 で足りない。

対角化できない。三角行列でなくても、重解のときは同じ手順で判定できる。

重解がない

その時点で対角化できる。階数を計算する必要がない

重解がある

固有値ごとに階数を出し、 を代数的重複度と比べる

固有多項式を解く

重解のある固有値だけを選ぶ

階数から固有空間の次元を出して比べる

つまずきやすいところ

重解があると自動的に対角化できないと思う。問題 5 や問題 8 のように、できる場合があります。
をそのまま次元だと思う。 です。
重複のない固有値まで階数を計算する。重解のあるものだけ確かめれば足ります。
実数の範囲で根がないときに「対角化できない」で止める。複素数まで広げると結論が変わります。
対称行列でも重複度を数え始める。実対称なら、その時点で対角化できると決まります。
すべての固有値で一致することを確かめない。1 つでも足りなければ対角化できません。

次正方行列で、固有値が (代数的重複度 )と です。 のとき、対角化できますか。

  • できる
  • できない
  • これだけでは決まらない
__RESULT__

で、代数的重複度と一致します。 は重複がないので 。固有ベクトルが 本そろい、対角化できます。

判定の入口も確かめる。

次正方行列が相異なる つの実固有値をもちます。階数の計算は必要ですか。

  • 必要
  • 不要
  • 固有ベクトルを書き下す必要がある
__RESULT__

異なる固有値の固有ベクトルは一次独立なので、 本そろうことが自動で保証されます。重解がある固有値についてだけ、階数から次元を出して確かめます。

重解を見つけたら階数を 1 回。それだけで判定が終わる。実対称や相異なる固有値のときは、計算に入る前に結論が出る。

出典

Sergei Treil. *Linear Algebra Done Wrong*, Chapter 4. Brown University.
Keith Conrad. *The Minimal Polynomial and Some Applications*. University of Connecticut.
Peter Haïssinsky. *Diagonalisation des endomorphismes et des matrices*. Université Paul Sabatier.
重解がなければ、そこで判定は終わります。あるときだけ $\dim E_\lambda = n - \operatorname{rank}(A - \lambda I)$ を計算して、代数的重複度に届くかを見る。固有ベクトルを書き下す必要はありません。13 問で、$2$ 次と $3$ 次の判定、$0$ の入り方だけが違って結論が分かれる例、実対称なら数える前に決まること、回転行列のように体を広げると変わる場合を扱いました。$P^2 = P$ の射影がつねに対角化でき、零行列でないべき零行列はどれもできない理由、$a$ の値で結論が変わる問題も入れています。