2014年7月14日月曜日

感覚の秩序と物理的世界の秩序

感覚の秩序:
事物は、それらが生体に対して及ぼす効果に応じて分類され、感覚の秩序へ組み込まれる。ある事物がこの秩序内に占める位置は、生体に対してその事物が及ぼす効果を表現している。

物理的世界の秩序:
事物は、それらが互いに及ぼす効果に応じて分類され、物理的世界の秩序へ組み込まれる。事物がこの秩序内に占める位置は、それが他の諸事物と取り結ぶ相互的な関係を表現している。

科学の過程は、前者の感覚秩序による事物の分類を、徐々に、後者の物理的秩序による事物の分類に置き換えて行く過程と見なすことができる。これはすなわち、事物が生体に対して及ぼす効果を度外視していく過程に他ならない。

例えば、水と塩酸は、見た目は同じであるから、(少なくとも視覚刺激に限定すれば)感覚秩序においては同じ事物として分類される。しかし、水は鉄と反応しないが、塩酸は鉄を溶かす、という風に、他の事物との相互関係に基づいて、我々は水と塩酸を別の事物として分類できる。これはごく素朴な例であるが、感覚秩序を徐々に物理的秩序に置き換えて行く過程のエッセンスを捉えていると思われる。

ここで重要なのは、物理的世界の秩序はあくまで関係の秩序である、という点。物理的な事物は、物理的構造の中のノードとしてしか意味を持たず、その構造と無関係であるような如何なる性質も持たない。「塩酸」という概念の意味は、それが他の概念と取り結ぶ関係によって尽くされており、それを超えた「塩酸そのもの性」のようなものはない。

物理的構造の実在性

『実体概念と関数概念』においてCassirerは、変換に対する頑強性を以て構造の客観性(実在性)を定義した。しかし、これだけでは、少なくとも物理的構造の場合、客観性の基準として十分でないように思われる。というのも、同じデータを説明できる構造が、一意的に決まるとは限らないからである。変換に対する頑強性という客観性の捉え方の不十分さは、経験との結び付きが欠けていることに起因している。経験を考慮するには、ある構造の予測能力が、変換によってどの程度影響を蒙るかを考察する必要がある。

2014年7月3日木曜日

異なる次元を持つ物理量同士の乗除がよくて、加減がいけない理由

異なる次元を持つ物理量同士の掛け算や割り算はよくて、足し算や引き算がいけないのは、物理学を習った人なら誰もが知っているだろう。例えば長さ÷時間=速度だが、長さ+時間というのは意味を成さない。しかし、このルールは大概、直観的に正しいものとして提示されるだけで、その論拠が示されることは殆どない(少なくとも初等的な教育では)。長さ+時間が「意味を成さない」とは一体どういうことだろうか?

まず準備として、「単位」(unit)と「次元」(dimension)という二つの概念を区別しておきたい。例として、m、km、parsecなどはそれぞれ別の単位であり、これらはすべて同じ「長さ」という次元を持つ。次元が同じで単位が異なる二つの物理量は、スケールを変換する関係式を利用して単位を揃えることができる(例えば1km = 1000mという関係を利用すれば、1km+100mの単位を揃えて1100mと書くことができる)。

さて、「林檎と蜜柑の足し算」というシンプルな例から始める。「林檎」と「蜜柑」をそれぞれ別の次元の単位と見なし、それぞれの個数の合計を考える。異なる次元を持つ物理量同士の足し算はできないと思われるかもしれないが、何のことはない。「果物」という、「林檎+蜜柑」の次元を持つ新しい単位を導入して、数値同士を足した結果に付与すればいい。例えば1林檎+1蜜柑=2果物、という風に。この新しい単位は全く問題なく使えるし、現に我々は日常生活の中で使っている。この例を見れば、異なる次元を持つ物理量同士の加減を排除する理由はないように見える。確かに、アプリオリに排除する理由は全くないが、上の議論をあらゆる物理量に一般化できない理由がある。

上の林檎と蜜柑の例と全く同じように、

a [m] + b [s] = c [x] …… ①  (a、b、cは何らかの数値、mはメートル、sは秒)

と置いて、新しい単位xを導入する。このxがどのような単位であるかは分からないが、長さ+時間の次元を持つもの、という風に約束しておく。さて、c[x]で表される上の量を、b[s]のスケールをμsに変えて表すとすればどうなるか。このときb[s] = 106・b[μs]である。同様にa[m]もcmに変換する。すなわちa[m] = 100a[cm]である。スケール変換後の量c[x]をc'[x']と置く(x'はxと同じ次元を持つがxとは別の単位である)。すなわち

100a [cm] + 106・b [μs] = c' [x'] …… ②

これら二つの式を用いて、個々のケースにおいて、c[x]とc'[x']をそれぞれ求めることができる。例えばa = b = 1の場合、c = 2、c' = 102+106と求まる。[1] しかし、a、bが分からない状態で、cを直接c'に変換することはできない。時間と長さのスケールの変換の仕方によっては、写像f:c→c'を具体的に求めることができる場合もあるが(例えばa、bが一律に10倍であればcも10倍)、一般的には不可能である。a[m]、b[s]の値が分からないとc'[x']の値は求まらないわけだから、c'[x']は①式で定めたスケールに依存していることが見て取れる。

では乗除の場合はどうであろうか。

a [m] ・ b [s] = c [y] …… ③

という掛け算を考える(割り算の場合も同様)。 yは長さ・時間の次元を持つ単位である。上の足し算の場合と同じように、a[m]とb[s]のそれぞれのスケールをcm、μsに変換し、変換後の量c[y]をc'[y']と置く。すると

c' [y'] = 100a[cm] ・ 106・b [μs] = 108a・b [cm・μs] = 108c [cm・μs] …… ④

③④式より、c[y] (= c'[y']) = 108c[y'] という単位間の変換式が得られ、a、bの値が分からなくても、直接cをc'に、あるいはc'をcに変換できることが分かる(ここではc'=108c)。つまりc'[y']の値(およびc[y]の値)はスケールの取り方に依存していない。

以上まとめると、異なる次元を持つ物理量同士の加減の場合、新しい単位を導入して加減の結果を表すことは可能だが、この新しい単位における値は、最初のスケールの取り方に依存してしまい、そのスケールにおけるそれぞれの要素の値が分かっていないと、別のスケールにおける結果の値を求めることができない。対して乗除の場合、新しく導入された単位はスケールの取り方に依存せず、ある変換式によって異なるスケール間を簡単に往復できる。スケールの取り方に依存しない、というのは恣意性を排除する上で重要である。物理学の法則が、メートルや秒といった特定の単位の取り方に依存していてはまずい。F = maという関係は、どのような単位で測定しようが成り立たなければならない。物理学では、これを対象や法則のスケール不変性(scale invariance)という。そしてスケール不変性が成り立つためには、異なるスケール間を行き来できる変換式が存在しなければならないのだ。

なお、最初の林檎と蜜柑のケースでは、「果物」という新しい単位が、特定のスケールに依存しているが、これはさほど問題にならない。なぜなら、日常観察される離散的な個物の場合、1、2、3、という風に数える単位系が自然であり、あまり恣意性がないからである。


[1] 我々は異なる次元同士の加減に慣れていないので、この求め方は一見変に見えるかもしれないが、等式の両辺の次元が等しいことを念頭に置いて、a+b [m+s] = c [x]、という風に数値と単位を分けて考えれば良い。ただ単位を、通常の代数法則を満たし、数値と同等の身分を持つ記号として扱うならば、もちろんax+by = (a+b)(x+y)といったような関係は成り立たない。これを以て、異なる次元を持つ物理量同士の加減を禁止する論拠と見なすことも可能だろうが、ここでは約束として、単位を数値と同等の記号としては扱わない。というのも、単位を数値と同等の記号と見なすことを正当化するのは、以下において説明するスケール不変性の議論の結果であるように思われるからである。少なくとも、単位が数値と同等の記号と見なされるべきであることは、決して自明ではない。