位相のスレで次のようなやり取りがあったんだけど、
262の言っていることって正しいの？
題意の式を満たすXがただ一つしかないことの証明に260はなっていない気が
するんだけど。
↓
260 ：１３２人目の素数さん：2006/05/16(火) 21:25:05
結合法則　Ao(BoC) = (AoB)oC と
AoA = E, AoE = A (Eは空集合)を使うのがスマートかな。

AoX = Bを満たすXが存在するならAo(AoX) = AoBだが、
Ao(AoX) = (AoA)oX = EoX = XだからX=AoBでなければならない。
また、AoX = Ao(AoB) = (AoA)oB = EoB = Bだから、X=AoBはAoX = Bを満たす。


261 ：１３２人目の素数さん：2006/05/19(金) 15:25:34
>>260
線形代数の証明とかでも、こんな感じで一意性を示しているのがあるけど、
どうしてこれで一意性が示せるのかがわからない。
X=AoBで確かに成り立つけど、どうして一意性が言えるの？


262 ：１３２人目の素数さん：2006/05/19(金) 16:58:04
存在するとしたらこれでしかありえない
これは確かに条件を満たす。

って感じかな

x_1とx_2が条件を満たすとしたらx_1 = x_2である、とかそういう変種もありうる