• ベストアンサー

全順序集合と半順序集合

old_shoの回答

  • old_sho
  • ベストアンサー率38% (20/52)
回答No.7

3)の個所で、最後の所で一つ抜けてました、 (2)の式がでて、(1)より、x2=y2となる。 ---で以下同様に、何とかかんとかと したがって、x=y

関連するQ&A

  • 集合Sがディオファントス的の意味を教えて下さい。

    定義 自然数N個の組の集合Sが”ディオファントス的である”とは、 整数係数の多項式P (x1, x2, ..., xn, y1, y2, ..., ym) があって、 集合Sは (x1, x2, ..., xn) を含む <=> 自然数の組 (y1, y2, ..., ym) があり、P (x1, x2, ..., xn, y1, y2, ..., yn) =0となることである と定義する。 とありますが、 理解出来ません。 わかる方、 よりわかりやすく教えて下さい。

  • 離散数学

    Z*を非負整数全体の集合とする。 Z*上の関係R={(x,y)|x+y=0}に対し、反射性、反反射性、対称性、反対称性、推移性のそれぞれが成り立つかどうか述べよ という問題で、 答えは「対称性、反対称性、推移性が成り立つ」なのですが、 理由がわかりません。 どなたか、どうか教えてくださいm(__)m

  • 代数学の問題を教えて下さい。

    この問題が分かりません。お願いいたします。 行列A= (0 2 -1) (1 1 -1) (-2 2 1) とする。 X=1,Y0=0,Z0=0である。n>=0で漸化式 X(n+1)=2Yn-Zn Y(n+1)=Xn+Yn-Zn Z(n+1)=-2Xn+2Yn+Zn を満たす数列{Xn}{Yn}{Zn}を考える(n>=0)。このとき 一般項Xn,Yn.Znを求めなさい という問題です。どうかお願いいたします。

  • 離散数学の半順序集合に関する問題

    離散数学の半順序集合に関する問題 離散数学の問題が解けずに困っています。 以下の問題を詳しく解説を交えて解いていただけるとありがたいです。 Aを集合とするとき、半順序集合(P(A),⊆)について、次の(1)(2)に答えよ。 (1)X,Y∈P(A)の上限、下限をそれぞれsup{X,Y}、inf{X,Y}とする。 このとき、sup{X,Y}=X∪Y      inf{X,Y}=X∩Y をそれぞれ証明せよ。 (2)半順序集合(P(A),⊆)は束であるかどうか述べよ。 以上です。よろしくお願いします。

  • C言語 所々の意味を教えてください><;

    #include <stdio.h> #define N 100 int main(void) { double xn[N], yn[N], x, y; int i, cnt; FILE *fp; if((fp=fopen("data.txt", "r"))==NULL) return 0; for(i=0; fscanf(fp, "%lf%lf", xn + i, yn + i)==2; i++); cnt = i; scanf("%lf", &x); if(x < xn[0] || xn[cnt-1] <= x) return 0; for(i=0; xn[i] < x; i++); y = (yn[i+1] - yn[i]) * (x - xn[i]) / (xn[i+1] - xn[i]) + yn[i]; printf("y = %f\n", y); return 0; } この文の FILE *fp; if((fp=fopen("data.txt", "r"))==NULL) return 0; for(i=0; fscanf(fp, "%lf%lf", xn + i, yn + i)==2; i++); cnt = i; ここの部分でデータテキストを読み込んでるのはわかるんですが fscanf(fp, "%lf%lf", xn + i, yn + i)部分で何をやってるかわかりません。誰か教えてください

  • 「半順序集合になるようにせよ」という問が解けません

    急ぎです。 次の問が全く解けません。どなたかお願いします。 以下の集合Aと二項関係Rの組は順序集合ではないが、Rに対して操作(要素の除去や追加)によって半順序集合(A,R)になるようにせよ(反射律、反対称律、推移律を満たすようにせよ)。なお、行ってよい操作は最大で除去は2回、追加は1界までとする。 A={a,b,c,d,e,f,g} R={(a,a),(a,c),(a,e),(a,g),(b,a),(b,b),(b,e),(c,c),(c,g),(d,b),(d,d),(d,f),(e,e),(e,g),(f,f),(f,g),(g,g)} 除去する組:(  ,  ) 除去する組:(  ,  ) 追加する組:(  ,  ) 宜しくお願いします

  • 代数学☆イデアルの問題!!

    次の問題について教えてください!! N:自然数 R:環 L,M:左イデアル LM={x1・y1+x2・y2+・・・+xn・yn |         xi∈L,yi∈M (i=1,2,・・・,n),n∈N} LMがイデアルであることを示せ。 左イデアルであることは示せたんですが、右イデアルであることが示せません。 右イデアルを示すために a∈LM,r∈Rに対して a=x1・y1+x2・y2+・・・+xn・yn (xi∈L,yi∈M) とおくと、 a・r=(x1・y1+x2・y2+・・・+xn・yn)・r    =(x1・y1)・r+(x2・y2)・r+・・・+(xn・yn)・r    =x1・(y1・r)+x2・(y2・r)+・・・+xn・(yn・r) になって、 a・r∈LMを示すのにyi・r∈Mを示すのかな、と思ったのですが、 どう示すのか分りません。  やり方自体間違っているのでしょうか、それともyi・r∈Mを示す方法があるのでしょうか。教えてください!!

  • 不等式の問題

    x1>x2>・・・・>xn y1>y2>・・・・>yn という関係のある実数がある。 yの並べ替えたものをz1、z2・・・・znとする。 Σ(k=1~n)xk・yk≧Σ(k=1~n)xk・zk となることを証明せよ。 という問題がありました。 どうやって解けばよいでしょうか?結構いろいろな解法があるようですが、わかりません。

  • 綺麗なローレンツ・アトラクタの描き方?

    ローレンツ方程式 dx/dt = p*(-x + y) dy/dt = r*x - y - x*z dz/dt = -b*z + x*y をEuler法を利用して、プログラムを作成して、gnuplotでplotしているのですがこのローレンツ・アトラクターの2つの円の中心が均一に(私の場合は左円の中心が小さく、右円の中心が大きい)なるようにして、 綺麗なアトラクターを描くには刻み幅と計算回数をどれくらいの値にすればいいのでしょうか? 私は刻み幅h = 0.001、計算回数n = 100000としてます。 *Euler法に変換したプログラムと図は下の通りです。 図 http://www26.tok2.com/home/parshem//image/lorenz-O.jpg #include <stdio.h> #include <math.h> int main(void) { /*---Parameter---*/ int p = 10; int r = 28; double b = 8.0/3.0; double x, y, z, xn, yn, zn, h, i, n; x = 1.0; y = 1.0; z = 1.0; h = 0.001;//ステップの刻み n = 400000; /*---Lorenz Equation & Euler---*/ for(i = 0.0 ; i < n ; i++){ xn =x + h * p*(-x + y) ; yn =y + h * ( r*x - y - x*z ); zn =z + h * ( -b*z + x*y ); printf("%lf\t%lf\t%lf \n", xn, yn, zn); x = xn; y = yn; z = zn; } return 0; }

  • 論理回路

    2n変数論理関数 fn(x1,x2,...,xn,y1,y2,...,yn)={ 1 N(x1,x2,...,xn)>N(y1,y2,...,yn)の時                 0 その以外 について、以下の問に答えよ。ここで、Nは入力を2進数とみなしたときの数を値として持つ関数であり、N(x1,x2,...,xn)=Σ(i=1~n)xi2^n-iと表すことができる。 問 任意のn>=2に対して     fn(x1,x2,...,xn,y1,y2,...,yn)= x1・y1(bar) + (x1+y1(bar))・fn-1(x2,...,xn,y2,...yn) が成り立つことを示せ。ただし、(bar)が論理否定、・が論理積、+は論理和を表す という問なのですが、どのように証明をすればよいのでしょうか? お願いします。