次元解析

例として、物理量速度vの次元は $${\displaystyle \operatorname {dim} v={\frac {\text{長さ}}{\text{時間}}}={\frac {\mathsf {L}}{\mathsf {T}}}={\mathsf {T}}^{-1}{\mathsf {L}}.}$$

物理量加速度aの次元は $${\displaystyle \operatorname {dim} a={\frac {\text{速度}}{\text{時間}}}={\frac {{\mathsf {T}}^{-1}{\mathsf {L}}}{\mathsf {T}}}={\mathsf {T}}^{-2}{\mathsf {L}}.}$$

物理量力Fの次元は $${\displaystyle \operatorname {dim} F={\text{質量}}\times {\text{加速度}}={\mathsf {M}}\times {\mathsf {T}}^{-2}{\mathsf {L}}={\mathsf {T}}^{-2}{\mathsf {L}}{\mathsf {M}}.}$$

物理量圧力Pの次元は $${\displaystyle \operatorname {dim} P={\frac {\text{力}}{\text{面積}}}={\frac {{\mathsf {T}}^{-2}{\mathsf {L}}{\mathsf {M}}}{{\mathsf {L}}^{2}}}={\mathsf {T}}^{-2}{\mathsf {L}}^{-1}{\mathsf {M}}.}$$

物理量エネルギーEの次元は $${\displaystyle \operatorname {dim} E={\text{力}}\times {\text{変位}}={\mathsf {T}}^{-2}{\mathsf {L}}{\mathsf {M}}\times {\mathsf {L}}={\mathsf {T}}^{-2}{\mathsf {L}}^{2}{\mathsf {M}}.}$$

物理量パワーPの次元は $${\displaystyle \operatorname {dim} P={\frac {\text{エネルギー}}{\text{時間}}}={\frac {{\mathsf {T}}^{-2}{\mathsf {L}}^{2}{\mathsf {M}}}{\mathsf {T}}}={\mathsf {T}}^{-3}{\mathsf {L}}^{2}{\mathsf {M}}.}$$

物理量である電荷Qの次元は $${\displaystyle \operatorname {dim} Q={\text{current}}\times {\text{time}}={\mathsf {T}}{\mathsf {I}}.}$$

物理量電圧Vの次元は $${\displaystyle \operatorname {dim} V={\frac {\text{power}}{\text{current}}}={\frac {{\mathsf {T}}^{-3}{\mathsf {L}}^{2}{\mathsf {M}}}{\mathsf {I}}}={\mathsf {T^{-3}}}{\mathsf {L}}^{2}{\mathsf {M}}{\mathsf {I}}^{-1}.}$$

物理量である静電容量Cの次元は $${\displaystyle \operatorname {dim} C={\frac {\text{electric charge}}{\text{electric potential difference}}}={\frac {{\mathsf {T}}{\mathsf {I}}}{{\mathsf {T}}^{-3}{\mathsf {L}}^{2}{\mathsf {M}}{\mathsf {I}}^{-1}}}={\mathsf {T^{4}}}{\mathsf {L^{-2}}}{\mathsf {M^{-1}}}{\mathsf {I^{2}}}.}$$

次元解析において、レイリー法は物理学、化学、工学で用いられる概念的な手法である。これは、いくつかの変数の関数関係を指数方程式の形で表すものであり、レイリー卿にちなんで名付けられた。

この方法は以下の手順から構成されます。

1. 従属変数に影響を与える可能性のあるすべての独立変数を収集します。
2. Rが独立変数R ₁、R ₂、R ₃、 ...、R _nに依存する変数である場合、関数方程式はR = F ( R ₁、R ₂、R ₃、 ...、R _n )と書くことができます。
3. 上記の式をR = C R ₁ ^a R ₂ ^b R ₃ ^c ... R _n ^mの形式で書きます。ここで、Cは無次元定数であり、 a、b、c、...、mは任意の指数です。
4. 方程式中の各量を、解を求める際に必要な基本単位で表しなさい。
5. 次元の均一性を利用して、指数a、b、c、...、mを含む連立方程式のセットを取得します。
6. これらの方程式を解いて、指数a、b、c、...、mの値を求めます。
7. 指数値を主方程式に代入し、同じ指数を持つ変数をグループ化して無次元パラメータを作成します。

欠点として、レイリー法では、次元解析の結果として得られる無次元群の数に関する情報が一切得られない。

パーセンテージは無次元量です。なぜなら、パーセンテージは同じ次元を持つ2つの量の比率だからです。言い換えれば、1% = 1/100 なので、%記号は「100分の1」と読むことができます。

ある量に関して微分を取ると、その次元を微分対象の変数の次元で割ることになります。したがって、次のようになります。

• 位置（x）はL（長さ）の次元を持つ。
• 位置の時間微分 ( dx / dt、速度)は、微分によって位置と時間から得られる長さ L の次元 T ^{−1を持ちます。}
• 2階微分（d ² x / dt ² = d ( dx / dt ) / dt、加速度）の次元はT ⁻² Lです。

同様に、積分を行うと、積分対象の変数の次元が分子に加わります。

• 力の次元はT ⁻² L M (質量×加速度) である。
• 物体が移動した距離 ( s )に関する力の積分( ⁠${\displaystyle \textstyle \int F\ ds}$⁠、仕事) はT ⁻² L ² Mの次元を持つ。

経済学では、ストックとフローを区別する。ストックは単位（例えば、ウィジェットやドル）を持つ一方、フローはストックの派生形であり、その単位を時間の単位で割った形の単位（例えば、ドル/年）を持つ。

文脈によっては、次元のある量を、一部の次元を省略することで無次元量またはパーセンテージとして表現することがあります。たとえば、債務対GDP比は一般的にパーセンテージで表されます。つまり、未払い債務総額（通貨の次元）を年間GDP（通貨の次元）で割ったものです。しかし、ストックとフローを比較する場合、年間GDPは通貨/時間の次元（たとえば、ドル/年）を持つべきであり、したがって債務対GDP比は単位年を持つべきであると主張することもできます。これは、債務対GDP比が、すべてのGDPが債務に費やされ、債務がそれ以外は変化しない場合に、一定のGDPが債務を返済するのに必要な年数であることを示しています。

次元解析を数学に応用した簡単な例として、n次元球（ n次元の立体球）の体積や、その表面積であるn次元球面の形状を計算することが挙げられます。n次元図形であるため、体積はx ⁿに比例し、 ( n -1)次元である表面積はx ^{n -1}に比例します。したがって、半径で表したn次元球の体積は、ある定数C _nに対してC _n r ⁿとなります。定数を決定するにはより複雑な数学が必要ですが、形状は次元解析だけで導き出し、検証することができます。

金融、経済、会計の分野では、次元分析はストックとフローの区別という観点から最も一般的に言及される。より一般的には、次元分析は様々な財務比率、経済比率、会計比率の解釈に用いられる。

• 例えば、株価収益率（P/E比率）は時間軸（単位：年）を持ち、「支払った株価を稼ぐのに必要な年数」と解釈できる。
• 経済学において、債務対GDP比率も単位年を持つ（債務は通貨単位を持ち、GDPは通貨/年単位を持つ）。
• 貨幣流通速度の単位は 1/年です（GDP/マネーサプライの単位は通貨/年/通貨です）。これは、1 単位の通貨が 1 年間に何回流通するかを示します。
• 年率の連続複利金利と単利金利は、多くの場合、パーセンテージ（無次元量）で表され、時間は年数からなる無次元量で表されます。ただし、時間の単位として年が含まれる場合、金利の次元は1/年となります。もちろん、時間の単位として年を使用することに特別な意味はありません（慣例を除けば）。他の時間単位を使用することも可能です。さらに、金利と時間の両方にそれぞれの単位が含まれている場合、それぞれに異なる単位を使用しても問題ありません。一方、金利と時間が無次元量である場合は、共通の期間を参照する必要があります。（実効金利は無次元量としてのみ定義できることに注意してください。）
• 金融分析において、債券デュレーションは( dV / dr )/ Vと定義できます。ここで、Vは債券（またはポートフォリオ）の価値、rは連続複利利率、dV / drはデリバティブです。前述の点から、 rの次元は1/時間です。したがって、 drがデリバティブの「分母」にあるため、デュレーションの次元は時間（通常は年数で表される）となります。

流体力学では、次元解析によって無次元のπ項またはπ群が得られます。次元解析の原理によれば、任意のプロトタイプは、システムの挙動を記述する一連のπ項またはπ群によって記述できます。適切なπ項またはπ群を使用することで、同じ次元関係を持つモデルに対して同様のπ項のセットを開発することが可能です。^{[ 9 ]}言い換えれば、π項は特定のプロトタイプを表すモデルを開発するための近道となります。流体力学でよく用いられる無次元群には、以下のようなものがあります。

• レイノルズ数（Re）は、一般的にあらゆる種類の流体問題において重要です。$${\displaystyle \mathrm {Re} ={\frac {\rho \,ud}{\mu }}.}$$
• フルード数（Fr）、自由表面を持つ流れのモデル化：$${\displaystyle \mathrm {Fr} ={\frac {u}{\sqrt {g\,L}}}.}$$
• オイラー数（Eu）は、圧力が関係する問題で使用されます。$${\displaystyle \mathrm {Eu} ={\frac {\Delta p}{\rho u^{2}}}.}$$
• マッハ数（Ma）は、速度が局所音速に近づくかそれを超える高速流において重要である。$${\displaystyle \mathrm {Ma} ={\frac {u}{c}},}$$ここで、cは局所的な音速である。

質量 m の物体がばね定数kの理想的な線形ばねに取り付けられ、重力gで吊り下げられているときの振動 周期 T はいくらでしょうか。この周期は、変数T、m、k、gに関する無次元方程式のTの解です。4 つの量の次元は次のとおりです。T ( T)、 m (M)、k (M/T ² )、g (L/T ² )。これらから、選択した変数のべき乗の無次元積G ₁ = T ² k / m (T ² · M/T ² / M = 1)を形成できます。G 1 = C (無次元定数C)とすると、求める無次元方程式が得られます。変数のべき乗の_無次元積は、変数の無次元群と呼ばれることもあります。ここで「群」という用語は、数学的な群ではなく「集合」を意味します。無次元数と呼ばれることもよくあります。

変数gはこのグループには含まれていません。gは次元 L を含む唯一の量であるため、 gとk、m、Tを組み合わせた無次元のべき乗積を形成することは不可能であることが容易にわかります。これは、この問題ではgが無関係であることを意味します。次元解析は、問題におけるいくつかの量の無関係性、または追加のパラメータの必要性について、強い主張をもたらすことがあります。問題を適切に記述するのに十分な変数を選択した場合、この議論から、ばね上の質量の周期はgに依存しない、つまり地球上でも月面でも同じであると結論付けることができます。この問題におけるべき乗積の存在を示す式は、完全に同等の方法で記述できます。${\displaystyle T=\kappa {\sqrt {\tfrac {m}{k}}}}$⁠、無次元定数κ（等しい）${\displaystyle {\sqrt {C}}}$（元の無次元方程式から）。

次元解析によって、状況の物理的記述に直感的に含まれると予想される変数（ここではg）が棄却された場合、別の可能性として、棄却された変数は実際には関連性があるものの、他の関連変数が省略されており、その変数と組み合わさって無次元量を形成しているということが考えられます。しかし、今回のケースはそうではありません。

次元解析によって無次元群が1つだけ得られる場合（今回のように）、未知の関数はなく、解は「完全」であると言われますが、κなどの未知の無次元定数が含まれる場合もあります。

長さℓ (L)の振動するワイヤーが振幅A (L)で振動する場合を考えます。ワイヤーの線密度はρ (M/L)で、張力s (LM/T ² )がかかっています。ワイヤー内のエネルギーE (L ² M/T ^{2 )を知りたいとします。π} 1とπ _2を、選択した変数のべき乗の無次元積とします。

${\displaystyle {\begin{aligned}\pi _{1}&={\frac {E}{As}}\\\pi _{2}&={\frac {\ell }{A}}.\end{aligned}}}$

ワイヤーの線密度は関係ありません。見つかった2つのグループは、方程式として等価な形式に組み合わせることができます。

${\displaystyle F\left({\frac {E}{As}},{\frac {\ell }{A}}\right)=0,}$

ここでFは未知の関数、または同等に

${\displaystyle E=Asf\left({\frac {\ell }{A}}\right),}$

ここでfは別の未知の関数です。ここで未知の関数が存在するということは、私たちの解がまだ不完全であることを意味しますが、次元解析によって、おそらく自明ではなかったことが分かりました。それは、エネルギーが張力の 1 乗に比例するということです。さらなる解析的分析を行わない限り、未知の関数fの形を見つけるために実験に進むかもしれません。しかし、次元解析がない場合よりも実験は簡単になります。エネルギーが張力に比例することを検証するために実験を行う必要はありません。あるいは、エネルギーがℓに比例すると推測し、E = ℓsと推論するかもしれません。実験や仮説形成の補助としての次元解析の威力が明らかになります。  

次元解析の真価は、上記のような状況とは異なり、より複雑で、関係する変数が明確ではなく、基礎となる方程式が極めて複雑な状況に適用されたときにこそ発揮されます。例えば、川底に置かれた小さな小石を考えてみましょう。川の流れが十分に速ければ、小石は実際に持ち上げられ、水とともに流されます。どのような臨界速度でこれが起こるのでしょうか？推測された変数を整理するのは、以前ほど簡単ではありません。しかし、次元解析はこのような問題を理解する上で強力な助けとなり、基礎となる方程式や制約が十分に理解されていない複雑な問題に対しては、通常、最初に適用されるツールとなります。このような場合、答えはレイノルズ数などの無次元数に依存する可能性があり、次元解析によって解釈することができます。

軸方向の厚さt (L)、半径R (L)の薄い固体で平行な側面を持つ回転円盤の場合を考えます。円盤の密度はρ (M/L ³ ) で、角速度ω (T ⁻¹ ) で回転し、これにより材料に応力S (T ⁻² L ⁻¹ M) が発生します。円盤が半径に比べて薄く、円盤の面が軸方向に自由に移動でき、平面応力構成関係が有効であると仮定できる場合、この問題には Lame によって与えられた理論的な線形弾性解があります。円盤が半径に比べて厚くなると、平面応力解は破綻します。円盤が自由面で軸方向に拘束されている場合、平面ひずみ状態が発生します。しかし、そうでない場合、応力状態は三次元弾性を考慮することによってのみ決定でき、この場合の既知の理論解はありません。したがって、エンジニアは 5 つの変数間の関係を確立することに関心を持つかもしれません。この場合の次元解析により、次の（5 − 3 = 2）個の無次元群が得られます。

需要/供給能力 = ρR ² ω ² / S

厚さ/半径またはアスペクト比 = t / R

例えば有限要素法を用いた数値実験により、図に示すように2つの無次元群間の関係の性質が得られます。この問題は2つの無次元群のみに関係するため、全体像は1つのグラフで示され、回転ディスクの設計/評価チャートとして使用できます。^{[ 22 ]}

T、L、M などの基本的な物理次元の集合から形成できる次元は、アーベル群を形成します。単位元は 1 と表記され、L ⁰ = 1であり、L の逆元は 1/L または L ⁻¹です。L を任意の整数p乗したものは群の要素であり、逆元は L ^{− p}または 1/L ^pです。群の演算は乗算であり、指数を扱う通常の規則 ( L ⁿ × L ^m = L ^{n + m} ) に従います。物理的には、1/L は長さの逆数、1/T は時間の逆数 (逆秒を参照)と解釈できます。

アーベル群は整数の加群と等価であり、次元記号T ⁱ L ^j M ^{k は}タプル( i , j , k )に対応します。物理的な測定量 (同じ次元でも異なる次元でも) を互いに乗算または除算すると、それらの次元単位も同様に乗算または除算されます。これは加群における加算または減算に対応します。測定可能な量を整数乗すると、それらの量に付随する次元記号にも同じ操作が行われます。これは加群におけるスカラー乗算に対応します。

このような次元記号のモジュールの基底は基本量の集合と呼ばれ、その他のすべてのベクトルは派生単位と呼ばれます。どのモジュールでもそうであるように、異なる基底を選択することができ、それによって異なる単位系が得られます（例えば、電荷の単位が電流の単位から派生するか、あるいはその逆かを選択するなど）。

群の単位元、無次元量の次元は、このモジュールの原点(0, 0, 0)に対応します。

場合によっては、V ^{L 1/2}のような 1 次元ベクトル空間の分数べき乗を形式的に定義することにより、分数次元を定義することができます。^{[ 23 ]}しかし、表現論的な障害のため、単位の任意の分数べき乗を取ることはできません。 ^{[ 24 ]}

与えられた次元のベクトル空間は、単位（ベクトル空間の座標系に対応）を使用する必要なく扱うことができます。たとえば、次元MとLが与えられた場合、ベクトル空間V ^MとV ^Lがあり、V ^ML  := V ^M ⊗ V ^Lをテンソル積として定義できます。同様に、双対空間は「負の」次元を持つと解釈できます。^{[ 25 ]}これは、ベクトル空間とその双対空間の自然なペアリングの下で​​次元が相殺され、無次元のスカラーが残るという事実に対応します。

問題に関わる物理量の単位の集合は、ベクトルの集合（または行列）に対応します。零空間は、これらのベクトルを組み合わせてゼロベクトルを生成する方法の数（例えばm 個）を表します。これらは、（測定値から）無次元量{π ₁ , ..., π _m }を生成することに対応します。（実際には、これらの方法は、測定値のべき乗からなる別の異なる空間の零部分空間を完全に張ります。）測定値を掛け合わせて（そして指数関数的に）ある派生量 X と同じ単位を持つものを生成するあらゆる可能な方法は、次の一般形式で表すことができます。

${\displaystyle X=\prod _{i=1}^{m}(\pi _{i})^{k_{i}}\,.}$

したがって、システムの物理に関する考えられるすべての対応方程式は、次の形式で書き直すことができる。

${\displaystyle f(\pi _{1},\pi _{2},...,\pi _{m})=0\,.}$

この制約を知ることは、システムに関する新たな洞察を得るための強力なツールとなり得る。

力学で関心のある物理量の次元は、基本次元 T、L、M で表すことができ、これらは 3 次元ベクトル空間を形成します。これは有効な基本次元の唯一の選択肢ではありませんが、最も一般的に使用されているものです。たとえば、力、長さ、質量を基本次元として選択することもできます (実際にそうした人もいます)。その場合、関連する次元は F、L、M となります。これは異なる基底に対応し、基底変換によってこれらの表現を相互に変換できます。このように、基本次元セットの選択は慣例であり、利便性と馴染みやすさの向上という利点があります。基本次元の選択は完全に任意ではありません。なぜなら、それらは基底を形成する必要があり、空間を張り、線形独立でなければならないからです。

例えば、F、L、Mは基本次元のセットを形成します。なぜなら、これらはT、L、Mと等価な基底を形成するからです。前者は[F = LM/T ² ]、L、Mと表現でき、後者は[T = (LM/F) ^1/2 ]、L、Mと表現できます。

一方、長さ、速度、時間（T、L、V）は、力学の基本次元を構成するものではない。理由は2つある。

• 別の基本次元を導入しない限り、質量、あるいは力など、質量から派生するものを得る方法はありません（したがって、それらは空間を張るものではありません）。
• 速度は長さと時間で表現できるため（V = L/T）、冗長である（この集合は線形独立ではない）。

物理学の分野によっては、拡張された次元記号のセットを選択することが有利な場合がある。例えば、電磁気学では、T、L、M、Qの次元を用いると便利である。ここでQは電荷の次元を表す。熱力学では、基本次元のセットに温度の次元Θを追加することがよくある。化学では、物質量（分子数をアボガドロ定数で割った値、≈）が6.02 × 10 ²³  mol ⁻¹ ) は、基本次元 N としても定義されます。相対論的プラズマと強力なレーザーパルスの相互作用では、無衝突のVlasov 方程式の対称性に関連する無次元の相対論的相似パラメータが、電磁ベクトルポテンシャルに加えて、プラズマ密度、電子密度、臨界密度から構築されます。 物理学のさまざまな分野で使用される次元の選択、あるいは次元の数の選択は、ある程度任意ですが、使用の一貫性とコミュニケーションの容易さは、共通かつ必要な特徴です。

ブリッジマンの定理は、物理量を定義するために使用できる関数の種類を、一般的な（次元合成された）量から、それらの量のべき乗の積のみに制限します。ただし、独立量の一部が代数的に結合されて無次元群が生成され、その関数が無次元の数値乗数にまとめられる場合は除きます。^{[ 26 ] [ 27 ]} これは、1 項を超える多項式や、その形式ではない超越関数を除外します。

指数関数、三角関数、対数関数などの超越関数、あるいは非斉次多項式に対するスカラー引数は、無次元量でなければならない。（注：後述するシアノの方向解析では、この要件はやや緩和され、特定の次元量の二乗は無次元量となる。）

無次元数に関するほとんどの数学的恒等式は、次元量にそのまま変換できますが、比率の対数には注意が必要です。恒等式log( a / b ) = log a − log b（対数は任意の底で取られます）は、無次元数aとbに対しては成り立ちますが、aとb が次元を持つ場合は成り立ちません。なぜなら、この場合、左辺は適切に定義されますが、右辺は定義されないからです。^{[ 28 ]}

同様に、次元量の単項式( x ⁿ ) を評価することはできますが、次元量の無次元係数を持つ混合次数多項式を評価することはできません。x ²の場合、式(3 m) ² = 9 m ^{2 は}(面積として) 意味を持ちますが、x ² + xの場合、式(3 m) ² + 3 m = 9 m ² + 3 mは意味を持ちません。

しかし、係数が無次元ではない適切な物理量であれば、混合次数多項式は意味を持つことがあります。例えば、

${\displaystyle {\tfrac {1}{2}}\cdot (\mathrm {-9.8~m/s^{2}} )\cdot t^{2}+(\mathrm {500~m/s} )\cdot t.}$

これは、重力加速度が毎秒9.8メートル、初速度が毎秒 500 メートルの場合に、物体が時間tの間に上昇する高さです。t は秒単位である必要はありません。たとえば、t = 0.01 分とします。その場合、最初の項は次のようになります。    

${\displaystyle {\begin{aligned}&{\tfrac {1}{2}}\cdot (\mathrm {-9.8~m/s^{2}} )\cdot (\mathrm {0.01~min} )^{2}\\[10pt]={}&{\tfrac {1}{2}}\cdot -9.8\cdot \left(0.01^{2}\right)(\mathrm {min/s} )^{2}\cdot \mathrm {m} \\[10pt]={}&{\tfrac {1}{2}}\cdot -9.8\cdot \left(0.01^{2}\right)\cdot 60^{2}\cdot \mathrm {m} .\end{aligned}}}$

次元物理量Zの値は、その次元内の単位[ Z ] と無次元の数値または数値係数n の積として表されます。^{[ 29 ]}

${\displaystyle Z=n\times [Z]=n[Z]}$

同じ次元の量を加算、減算、または比較する場合、それらの量を同じ単位で表すと、数値を直接加算または減算できるため便利です。しかし、概念的には、異なる単位で表された同じ次元の量を加算することに問題はありません。たとえば、1メートルに1フィートを加えたものは長さですが、単純に1と1を足すだけではその長さは得られません。同じ次元の量の比であり、無次元の1に等しい変換係数が必要です。

${\displaystyle \mathrm {1\,ft} =\mathrm {0.3048\,m} }$と同一です${\displaystyle 1={\frac {\mathrm {0.3048\,m} }{\mathrm {1\,ft} }}.}$

係数0.3048  m/ftは無次元値1と同一であるため、この変換係数を掛けても何も変わりません。したがって、同じ次元でありながら異なる単位で表された2つの量を加算する場合、適切な変換係数（実質的には無次元値1）を使用して、それらの量を同じ単位に変換し、数値の加算または減算ができるようにします。

異なる単位を持つ同サイズの量を足し合わせるという行為は、このような場合に限り意味を持つ。

量方程式（完全方程式とも呼ばれる）は、物理量を表す際に使用される測定単位に関係なく有効な方程式である。^{[ 30 ]}

一方、数値方程式では、単位を含まず、量の数値のみが現れます。したがって、数値方程式は、各数値が特定の単位を参照している場合にのみ有効です。

例えば、変位dを速度sに時間差tを掛けたものとして表す量方程式は次のようになります。

d = s t

s = 5  m/sの場合、 tとd は任意の単位で表すことができ、必要に応じて変換できます。これに対し、対応する数値方程式は次のようになります。

D = 5 T

ここで、Tはtを秒単位で表した数値であり、 Dはdをメートル単位で表した数値である。

一般的に、数値方程式の使用は推奨されない。^{[ 30 ]}

得られた結果に現れる無次元定数、例えばポアズイユの法則の問題におけるCや、前述のバネの問題におけるκなどは、基礎となる物理現象をより詳細に解析した結果であり、多くの場合、微分方程式を積分することによって得られます。次元解析自体はこれらの定数についてほとんど何も語っていませんが、これらの定数がしばしば1程度の値を持つことを知っておくことは有用です。この観察結果から、対象となる現象について概算を行うことが可能になり、その結果、現象を測定するための実験をより効率的に設計したり、現象の重要性を判断したりすることができるようになります。

逆説的ではあるが、基礎となる理論のすべてのパラメータが無次元であっても、次元解析は有用なツールとなり得る。例えば、イジングモデルのような格子モデルは、相転移や臨界現象の研究に利用できる。このようなモデルは、完全に無次元で定式化できる。臨界点に近づくにつれて、格子モデル内の変数が相関する距離（いわゆる相関長χ）はどんどん大きくなる。相関長は臨界現象に関連する適切な長さスケールであるため、例えば「次元的な根拠」に基づいて、格子点あたりの自由エネルギーの非解析的な部分は、格子の次元^dに対して、~ 1/ χdであると推測できる。

物理学者の中には、例えばマイケル・J・ダフ[5][31]のように、物理法則は本質的に無次元であると主張する者もいる。長^{さ、時間、質量に}相容れない次元を割り当ててきたのは、この見解によれば単なる慣習の問題であり、現代物理学の出現以前には、質量、長さ、時間を互いに関連付ける方法がなかったという事実から生じたものである。したがって、物理学の基本方程式における3つの独立した次元定数c、ħ、Gは、質量、時間、長さを相互に変換するための単なる変換係数とみなさなければならない。

格子モデルの重要な特性の場合と同様に、適切なスケーリング極限において次元解析の結果を再現することができます。例えば、力学における次元解析は、定数ħ、c、Gを再挿入し（ただし、これらは無次元とみなすことができます）、 c → ∞、ħ → 0、G → 0の極限において量間の非特異な関係が存在することを要求することによって導出できます。重力場を含む問題では、後者の極限は、重力場が有限のままとなるように取る必要があります。

Some discussions of dimensional analysis implicitly describe all quantities as mathematical vectors, but this is not the case. Numbers are often used to represent things that are not elements of vector spaces, and dimensional analysis should not be applied to such things. In physics, scalars are positive quantities like weight or distance with magnitude but not direction (though many authors loosely allow scalars to be negative), vectors can be added to or subtracted from other vectors, and, inter alia, multiplied or divided by scalars. If a vector is used to define a position, this assumes an implicit point of reference: an origin. While this is useful and often perfectly adequate, allowing many important errors to be caught, it can fail to model certain aspects of physics. A more rigorous approach requires distinguishing position from displacement, date from duration, bearing from angle, and absolute temperature from temperature change.

Consider points on a timeline, each with a date with respect to a given origin, and durations of between them. The dates themselves are labels of points, while the durations of time between points have a dimension of time:

• adding two durations should yield a new duration (waiting ten days then twenty days gets you thirty days forward),
• adding a duration to a date should yield a new date (Waiting one month from March 1st, 1900 take you to April 1st.),
• subtracting two dates should yield a duration,
• but one may not add two dates (Adding March 1st to April 1st does not make sense.)

This illustrates the subtle type-distinction between affine values (elements of an affine space, such as date) and vector values (elements of a vector space, such as duration).

• Vectors may be added to each other, yielding a new vector, and a vector may be added to a suitable affine quantity (a vector space acts on an affine space), yielding a new affine quantity.
• Affine quantities cannot be added, but may be subtracted, yielding relative quantities which are vectors, and these relative differences may then be added to each other or to an affine quantity.

Properly then dates and positions are not dimensional quantities but affine quantities. Durations and displacements are dimensional quantities. To represent dimensional quantities with numbers, one must only select a reference unit. To represent affine quantities like date and position in terms of dimensional quantity, one must also select a point of reference and coordinate system in addition to the reference unit.

While some quantities are well-represented by vector quantities to which dimensional analysis can be applied, others are more naturally represented in an affine space, and still others like bearings and probabilities are elements of other spaces.

This distinction is particularly important in the case of temperature, for which the numeric value of absolute zero is not the origin 0 in some scales. For absolute zero,

−273.15 °C ≘ 0 K = 0 °R ≘ −459.67 °F,

where the symbol ≘ means corresponds to, since although these values on the respective temperature scales correspond, they represent distinct quantities in the same way that the distances from distinct starting points to the same end point are distinct quantities, and cannot in general be equated.

For temperature differences,

1 K = 1 °C ≠ 1 °F = 1 °R.

(Here °R refers to the Rankine scale, not the Réaumur scale). Unit conversion for temperature differences is simply a matter of multiplying by, e.g., 1 °F / 1 K. But because some of these scales have origins that do not correspond to absolute zero, conversion from one temperature scale to another requires accounting for that. As a result, simple dimensional analysis can lead to errors if it is ambiguous whether 1 K means the absolute temperature corresponding to the Celsius temperature −272.15 °C, or a temperature difference equal to 1 °C.

Similar to the issue of a point of reference is the issue of orientation: a displacement in 2 or 3 dimensions is not just a length, but is a length together with a direction. (In 1 dimension, this issue is equivalent to the distinction between positive and negative.) Thus, to compare or combine two dimensional quantities in multi-dimensional Euclidean space, one also needs a bearing: they need to be compared to a frame of reference.

This leads to the extensions discussed below, namely Huntley's directed dimensions and Siano's orientational analysis.

Huntley has pointed out that a dimensional analysis can become more powerful by discovering new independent dimensions in the quantities under consideration, thus increasing the rank ${\displaystyle m}$ of the dimensional matrix.^[54]

He introduced two approaches:

• The magnitudes of the components of a vector are to be considered dimensionally independent. For example, rather than an undifferentiated length dimension L, we may have L_x represent dimension in the x-direction, and so forth. This requirement stems ultimately from the requirement that each component of a physically meaningful equation (scalar, vector, or tensor) must be dimensionally consistent.
• Mass as a measure of the quantity of matter is to be considered dimensionally independent from mass as a measure of inertia.

Angles are, by convention, considered to be dimensionless quantities (although the wisdom of this is contested).^[55] As an example, consider again the projectile problem in which a point mass is launched from the origin (x, y) = (0, 0) at a speed v and angle θ above the x-axis, with the force of gravity directed along the negative y-axis. It is desired to find the range R, at which point the mass returns to the x-axis. Conventional analysis will yield the dimensionless variable π = Rg/v², but offers no insight into the relationship between R and θ.

Siano has suggested that the directed dimensions of Huntley be replaced by using orientational symbols1_x 1_y 1_z to denote vector directions, and an orientationless symbol 1₀.^[56] Thus, Huntley's L_x becomes L1_x with L specifying the dimension of length, and 1_x specifying the orientation. Siano further shows that the orientational symbols have an algebra of their own. Along with the requirement that 1_i⁻¹ = 1_i, the following multiplication table for the orientation symbols results:

The orientational symbols form a group (the Klein four-group or "Viergruppe"). In this system, scalars always have the same orientation as the identity element, independent of the "symmetry of the problem". Physical quantities that are vectors have the orientation expected: a force or a velocity in the z-direction has the orientation of 1_z. For angles, consider an angle θ that lies in the z-plane. Form a right triangle in the z-plane with θ being one of the acute angles. The side of the right triangle adjacent to the angle then has an orientation 1_x and the side opposite has an orientation 1_y. Since (using ~ to indicate orientational equivalence) tan(θ) = θ + ... ~ 1_y/1_x we conclude that an angle in the xy-plane must have an orientation 1_y/1_x = 1_z, which is not unreasonable. Analogous reasoning forces the conclusion that sin(θ) has orientation 1_z while cos(θ) has orientation 1₀. These are different, so one concludes (correctly), for example, that there are no solutions of physical equations that are of the form a cos(θ) + b sin(θ), where a and b are real scalars. An expression such as ${\displaystyle \sin(\theta +\pi /2)=\cos(\theta )}$ is not dimensionally inconsistent since it is a special case of the sum of angles formula and should properly be written:

${\displaystyle \sin \left(a\,1_{\text{z}}+b\,1_{\text{z}}\right)=\sin \left(a\,1_{\text{z}})\cos(b\,1_{\text{z}}\right)+\sin \left(b\,1_{\text{z}})\cos(a\,1_{\text{z}}\right),}$

which for ${\displaystyle a=\theta }$ and ${\displaystyle b=\pi /2}$ yields ⁠${\displaystyle \sin(\theta \,1_{\text{z}}+[\pi /2]\,1_{\text{z}})=1_{\text{z}}\cos(\theta \,1_{\text{z}})}$⁠. Siano distinguishes between geometric angles, which have an orientation in 3-dimensional space, and phase angles associated with time-based oscillations, which have no spatial orientation, i.e. the orientation of a phase angle is ⁠${\displaystyle 1_{0}}$⁠.

The assignment of orientational symbols to physical quantities and the requirement that physical equations be orientationally homogeneous can actually be used in a way that is similar to dimensional analysis to derive more information about acceptable solutions of physical problems. In this approach, one solves the dimensional equation as far as one can. If the lowest power of a physical variable is fractional, both sides of the solution is raised to a power such that all powers are integral, putting it into normal form. The orientational equation is then solved to give a more restrictive condition on the unknown powers of the orientational symbols. The solution is then more complete than the one that dimensional analysis alone gives. Often, the added information is that one of the powers of a certain variable is even or odd.

As an example, for the projectile problem, using orientational symbols, θ, being in the xy-plane will thus have dimension 1_z and the range of the projectile R will be of the form:

${\displaystyle R=g^{a}\,v^{b}\,\theta ^{c}{\text{ which means }}{\mathsf {L}}\,1_{\mathrm {x} }\sim \left({\frac {{\mathsf {L}}\,1_{\text{y}}}{{\mathsf {T}}^{2}}}\right)^{a}\left({\frac {\mathsf {L}}{\mathsf {T}}}\right)^{b}\,1_{\mathsf {z}}^{c}.\,}$

Dimensional homogeneity will now correctly yield a = −1 and b = 2, and orientational homogeneity requires that ⁠${\displaystyle 1_{x}/(1_{y}^{a}1_{z}^{c})=1_{z}^{c+1}=1}$⁠. In other words, that c must be an odd integer. In fact, the required function of theta will be sin(θ)cos(θ) which is a series consisting of odd powers of θ.

It is seen that the Taylor series of sin(θ) and cos(θ) are orientationally homogeneous using the above multiplication table, while expressions like cos(θ) + sin(θ) and exp(θ) are not, and are (correctly) deemed unphysical.

Siano's orientational analysis is compatible with the conventional conception of angular quantities as being dimensionless, and within orientational analysis, the radian may still be considered a dimensionless unit. The orientational analysis of a quantity equation is carried out separately from the ordinary dimensional analysis, yielding information that supplements the dimensional analysis.

• Covariance and contravariance of vectors
• Exterior algebra
• Geometric algebra
• Quantity calculus