WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

ComponentExpand[expr]

expr の配列変数を下付き文字付き成分で展開する．

ComponentExpand[expr,assum]

仮定 assum を使って変数の次元を指定する．

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
オプション  
Assumptions  
関連項目
関連するガイド
履歴
引用書式

ComponentExpand

ComponentExpand[expr]

expr の配列変数を下付き文字付き成分で展開する．

ComponentExpand[expr,assum]

仮定 assum を使って変数の次元を指定する．

詳細とオプション

  • ComponentExpandは，下付き文字付き成分で記号配列式を書き換えるために使用できる．
  • ComponentExpandは，記号配列式の成分ごとの式を返す．
  • 配列変数は，VectorSymbol，MatrixSymbol，ArraySymbolあるいは仮定によって指定できる．
  • 仮定は領域指定Element[a,dom]で構成されていなければならない．dom は，Vectors[d]，Matrices[{d1,d2}]，Arrays[{d1,…,dk}]または領域でよい．
  • 展開するためには，配列変数は明示的な整数次元を持たなければならない．
  • ComponentExpandは，特殊な記号配列を明示的な配列で，ベクトル不等式をスカラー不等式で置き換える．
  • ComponentExpandは，assum に追加するデフォルトの仮定を指定するAssumptionsオプションを有する．
  • Assumptionsオプションのデフォルト設定は$Assumptionsである．
  • Assumingを使ってComponentExpandのデフォルトの仮定が指定できる．

例題

すべて開く すべて閉じる

例  (3)

記号ベクトルを展開する：

Wolfram Language code: ComponentExpand[VectorSymbol["v", {3}]]

記号行列を含む式を展開する：

Wolfram Language code: ComponentExpand[Det[a], Element[a, Matrices[{2, 2}]]]

ベクトル不等式を展開する：

Wolfram Language code: ComponentExpand[VectorLessEqual[{VectorSymbol["u", {2}], VectorSymbol["v", {2}]}]]

スコープ  (5)

ArraySymbol，MatrixSymbol，VectorSymbolを介して指定された配列変数：

Wolfram Language code: ComponentExpand[ArraySymbol["a", {2, 2, 2}]]
Wolfram Language code: ComponentExpand[MatrixSymbol["m", {2, 3}]]
Wolfram Language code: ComponentExpand[VectorSymbol["v", {4}]]

仮定を介して指定された配列変数：

Wolfram Language code: ComponentExpand[a, Element[a, Arrays[{2, 2, 2}]]]
Wolfram Language code: ComponentExpand[m, Element[m, Matrices[{2, 3}]]]
Wolfram Language code: ComponentExpand[v, Element[v, Vectors[4]]]

配列変数を含む式：

Wolfram Language code: ComponentExpand[Tr[ArraySymbol["a", {3, 3, 3}]]]
Wolfram Language code: ComponentExpand[Inverse[m], Element[m, Matrices[{2, 2}]]]
Wolfram Language code: ComponentExpand[Mean[VectorSymbol["v", 3]]]

ベクトル不等式：

Wolfram Language code: ComponentExpand[VectorGreater[{u, v, w}], Element[u | v | w, Vectors[3]]]

明示的なベクトルを含む不等式を展開することができる：

Wolfram Language code: ComponentExpand[VectorLess[{{x, y}, {1, 2}}]]

特殊な記号配列：

Wolfram Language code: ComponentExpand[SymbolicIdentityArray[{2, 2}]]
Wolfram Language code: ComponentExpand[SymbolicOnesArray[{2, 2}].MatrixSymbol["m", {2, 2}]]

オプション  (1)

Assumptions  (1)

仮定引数を使って v の次元を指定する：

Wolfram Language code: ComponentExpand[v.v, Element[v, Vectors[3]]]

Assumptionsオプションを使う：

Wolfram Language code: ComponentExpand[v.v, Assumptions -> Element[v, Vectors[3]]]

Assumingを使ってデフォルトの仮定を指定する：

Wolfram Language code: Assuming[Element[v, Vectors[3]], ComponentExpand[v.v]]
Wolfram Research (2025), ComponentExpand, Wolfram言語関数， https://reference.wolfram.com/language/ref/ComponentExpand.html.

テキスト

Wolfram Research (2025), ComponentExpand, Wolfram言語関数， https://reference.wolfram.com/language/ref/ComponentExpand.html.

CMS

Wolfram Language. 2025. "ComponentExpand." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/ComponentExpand.html.

APA

Wolfram Language. (2025). ComponentExpand. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/ComponentExpand.html

BibTeX

@misc{reference.wolfram_2026_componentexpand, author="Wolfram Research", title="{ComponentExpand}", year="2025", howpublished="\url{https://reference.wolfram.com/language/ref/ComponentExpand.html}", note=[Accessed: 16-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_componentexpand, organization={Wolfram Research}, title={ComponentExpand}, year={2025}, url={https://reference.wolfram.com/language/ref/ComponentExpand.html}, note=[Accessed: 16-September-2026]}