- ベストアンサー
総和の質問です。
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
>2|X1|+Σ[j=1～n] ( |X1| ± Xj) +C(定数) >となると書いてあるのですが >2|X1|+ 2Σ[j=1～n] |X1 ± Xj | +C ではなくて， 2|X1|+ 2Σ[j=2～n] |X1 + Xj | +C になります。 X1を含む項は， 2|X1|+Σ[j=2～n]|X1+Xj|+Σ[i=2～n]|Xi+X1| =2|X1|+2Σ[j=2～n]|X1+Xj| ですね。 |-2+5|≠|-2|±5なので，|X1+Xj|は( |X1| ± Xj)の形には変形できません。 |X1 ± Xj |と書いて，プラスマイナスはどちらか正しい方をとる， でもいいですが，結局は足し算の方なので，|X1+Xj|としか表せない。
関連するQ&A
- 結合法則
M：空でない集合 φ：M×M→M φ(φ(x,y),z)＝φ(x,φ(y,z)) (∀x,y,z∈M)…☆ が成立しているとする。 X1,…,Xn∈Mが与えられたとき、Xi,X(i+1)に対しφを作用させる。次にn-1個の元X1,…,X(i-1),φ(Xi,X(i+1)),X(i+2),…,Xnを改めてY1,…,Y(n-1)と記し、またYj,Y(j+1)に対しφを作用させる。この操作を繰り返し最後に残った元をZとする。 このとき、X1,…,Xnに対しZを対応させる写像ψn:M^n→Mはφを作用させる場所によらず(つまりiやjなどによらず)well-definedである。 以上のことを証明してみたのですがあっているかどうかわからないので、教えて下さい。 (証明) nに関する帰納法で示す。 n=2…明らか n=3…☆により明らか。 ψ(n-1)までがwell-definedであると仮定する。 ψnがwell-definedであることを示すには ψ(n-1)(φ(X1,X2),X3,…,Xn)＝…＝ψ(n-1)(X1,…,X(n-2),φ(X(n-1),Xn)) (∀Xi∈M,i=1,…n)をいえばよい。 ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)とψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)が等しいことをいえばOK。(j=1,…,n-2) ψ(n-1)のwell-defined性より ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)＝ψ(n-2)(X1,…,X(j-1),φ(φ(Xj,X(j+1)),X(j+2)),X(j+3),…,Xn)…(1) ψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)＝ψ(n-2)(X1,…,X(j-1),φ(Xj,φ(X(j+1),X(j+2))),X(j+3),…,Xn)…(2) ☆より(1)＝(2)がわかるから ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)とψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)が等しい。 したがってψnはwell-definedである。
- 締切済み
- 数学・算数
- こんな関数は存在する？存在しない？
とある理由で、以下のような問題を考えています。 しかしながら、どう証明（or反例）してよいのかいいアイディア が浮かばず、質問させていただきました。 -------------------------------------- 問い： ある関数f(x1,x2)が存在したとします。 この時下記条件を満足する関数g(x1,x2,...,xn)が存在できるか。 条件： まず、任意のiとj(j≠i)を選びます。 {xk}(k≠i,j)に対して任意の定数値{ck}を設定します。 こうして生成されたh(xi,xj)=g(c1,...,xi,...,xj,...,cn)を考えます。 この関数hがh(xi,xj) = a*f(xi,xj)を常に満足する。 ここでaは0以外の定数。 ------------------------------------- 一般的に証明するのは難しそうなので、g(x1,x2,x3)の場合などでもかまいません。 また、f(x1,x2)に対して拘束条件f(x1,x2)=f(x2,x1)をかけてもかまいません。 なにか「こういうアプローチで証明(or反例)できるのではないか？」といったアイディアをお持ちではないでしょうか？ ------------------------------------------- ちなみにこの問題は量子力学のN-representability問題に端を発しています。もしこの証明ができれば、N-representability問題に対してすこし切り込めるかなぁと考えている次第です。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- {x1,x2,…,xn}は正規直交系でxがspan{x1,x2,…,xn}に無いならxは直交する?
[Q] Given a orthonormal set,O:{x1,x2,…,xn},and x is not in spanO,show that x is orthonormal to every vector in O. という定理についてです。 仮定は<xi,xj>=δij (i,j∈{1,2,…,n}) xがspanOの中に無いというのだからx,x1,x2,…,xnは一次独立ですよね。 一次独立だからといってxがOのどの元とも直交するとは言えませんよね。 背理法で∃i∈{1,2,…,n};<x,xi>≠0だと仮定してみると ∥x∥∥xi∥cos∠(x,xi)≠0と書け、、、 からどうやってxがOのどの元とも直交である事を示せばいいのでしょうか?
- ベストアンサー
- 数学・算数
- 位相幾何学の問題です。
R^3 の2次式で定義される曲面 Σ(i,j=1→3) A_ij Xi Xj = c , X = (x1, x2, x3) (A_ij) は3次対称行列、c は定数 を等長なものに分類し、さらにはその曲率を求めなさい という問題なのですが解法がわからずに困っています。 よろしければ解き方を教えていただきませんか？ よろしくお願いします。
- 締切済み
- 数学・算数
- ファンデルモンドの行列式の証明方法
d/dt|A1(t),A2(t),....,An(t)|=|A1'(t),A2(t),....,An(t)|+ |A1(t),A2'(t),....,An(t)|+..... +|A1(t),A2(t),....,An'(t)| を使って、ファンデルモンドの行列式 |1 x1 x1^2 .... x1^(n-1)| |1 x2 x2^2 .... x2^(n-1)| | . . . . . . . . . . . . . . . . .| | . . . . . . . . . . . . . . . . .| =Π(xj-xi) (1<=i<j<=n) | . . . . . . . . . . . . . . . . .| | 1 xn xn^2 .... xn^(n-1)| を証明するという問題にどなたか回答お願いします。
- 締切済み
- 数学・算数
- 整数論 合同≡
「自然数ｍが奇数とし、ｘｉ：＝２ｉ（１≦ｉ≦ｍ）とおく。このとき、任意の整数ｙに対して、ｙ≡ｘｉ（mod m）となるようなiがただ一つだけ存在することを証明せよ。」 証明をしたのですが、以下のようでいいのですか？ 添削して気づいたことを教えてください。 （証明） ｙ≡xi（mod ｍ）（１≦ｉ≦ｍ） 【1】ｍ＝１のとき、ｙ≡ｘ1≡２（mod １）より、明らかに成立。 【2】ｍ≠1のとき、i≠ｊとする。 xi≡ｘｊ（mod ｍ）と仮定すると 2i≡２ｊ（mod ｍ） i≡ｊ（mod ｍ） i≠ｊよりi≡/ｊ（mod ｍ） （←≡/は合同でない） 従って矛盾よりxi≡/ｘｊ（mod ｍ） 今、ｍ子の整数x1，x２，…，xmをｍで割った時の余りは全て異なる。 また、整数ｙをｍで割ったときの余りは0,1，…，m-1のｍ個。 よって任意の整数ｙに対して、ｙ≡ｘｉ（mod m）となるようなiがただ一つだけ存在する。
- 締切済み
- 数学・算数
- 確率の独立性
1からｎまでの番号カードをランダムに並べる試行にたいする確立空間（W,P)を W={w=(i1, ...... ,in) ： ij∈{1, ...... ,n} (1≦j≦n）, ij≠il(j≠l)} P(w)= 1/n! , ∀w∈W 確率変数 Xj：W→N （１≦ｊ≦ｎ）を Xj(w)＝ '数ｊのカードの右側におかれたｊより小さいカードの枚数’と定義する。 この時 (1)P(Xi＝ｋ） （ｋ＝ｐ, ...... ,j-1） を求める (2) X1, ...... , Xn が独立かどうか調べる という問題で、 (1)では X1(w)＝０であることから P(X1=0)＝１ だということは分かるのですが、ｊもｋも変数なのに問題のP(Xi=k)は求められるのでしょうか。 (2)はそれぞれの確率が関係し合っているので、独立でないと思うのですがどうでしょうか？
- ベストアンサー
- 数学・算数
- 数値解析の補間多項式
（１）nを１以上の整数とし,X0,X1,,,Xnを相異なるn＋1個の標本点とする。R上の関数f,g,hにおいて、gはfをX0,X1,,,Xn-1で補間し（つまり,g(Xi)=f(Xi),i=0,1,2,,,,n-1となる）、hはfをX1,,,Xnで補間するとき、関数 g(X)＋(X0ーX)/(Xn-X0)×｛g(X)ーh(X)} は、ｆをX0,X1,,,Xnで補間することを示したのですが質問があります。 まず補間するということはどんな意味を持っているのでしょうか？そしてこの問題の但し書きとしてf,g,hは多項式とは限らないとあったのですがではどう考えたらよいのでしょうか？？ 最終的にどのように証明していけばよいかアドバイスお願いします★
- ベストアンサー
- 数学・算数
補足
そうですよね どう考えても|X+Y|=|X|±Yの変形はおかしいですよね