goo

Defect of the formal algebra 2"

2014-10-13 12:49:50 | Mathematics
The algebraic number field is countable and isn't a set. Galois theory may be a fake.
Put N(x)=(x is a natural number.)=(x=1)∨(x=2)∨…(infinitely),
R(x)=(x is a real number.).
Theorem 6. You must not use N(x) in the standard mathematics treating the real
numbers.
Proof. Assume that you can use N(x). In the standard mathematics,
R(x)=∃s∃n∃r((x=(-1)s(n+∑i∈r 1/2i))∧((s=0)∨(s=1))∧((n=0)∨N(n))∧∀y((y∈r)→N(y))).
This r is finite or countable. Countable r doesn't exist as a set by theorem 5.
r is finite when R(x). R(x)⇒(x=m/2h (m∈Z, N(h))).
R(1/3) is false. But R(1/3) is true in the standard mathematics. This is contradiction. ♦
Theorem 7. You must not use R(x) in the standard mathematics treating the real numbers.
Proof. Assume that you can use R(x). You may set up that ∀x(R(x)→([x+1]=[x]+1))
and ∀x(R(x)∧(0≤x)∧(x≤1)∧(x≠1)→([x]=0)). You can use
R(x)∧(x=[x])∧(x≥1) ⇔ N(x). This is contradiction by theorem 6.♦
Riemann hypothesis ∀x∀y(R(x)∧R(y)∧(ζ(x+√-1y)=0)→(x=1/2)∨(y=0)) is nonsense.
You are to use R(x) in the mathematics treating the real numbers. So you get
the next inconsistency theorem by theorem 7.
Theorem 8. The standard mathematics treating the real numbers isn't consistent.
Millennium problems except P=NP problem are nonsense. They are proved and are denied by
contradiction led by R(x) which you need to express the problems.
1={∅},2=1∪{1},3=2∪{2},… By the axiom of infinity, ∃P((1∈P)∧∀x((x∈P)→(x∪{x}∈P)).
N"={x|(x∈P)∧∀y((1∈y)∧∀z((z∈y)→(z∪{z}∈y))→(x∈y)) is a set.
Let's write y=x-1 when x=y∪{y}. (x-1)-1=x-2,(x-2)-1=x-3,…
Theorem 9. (x∈N")∧(¬N(x))∧N(k)⇒(x-k∈N")∧(¬N(x-k))
Proof. Assume that (x∈N")∧(¬N(x)).
If ¬(x-1∈N"),(1∈N"-{x})∧∀y((y∈N"-{x})→(y∪{y}∈N"-{x})). N"⊂N"-{x}
This is contradiction. So x-1∈N". If N(x-1),N(x). so ¬N(x-1).
(x∈N")∧(¬N(x))⇒(x-1∈N")∧(¬N(x-1))⇒(x-2∈N")∧(¬N(x-2))⇒…(infinitely)♦
Theorem 10. F2(N")(≅⊕i∈N" F2ei) isn't a set.
Proof. If F2(N") is a set,B={f|(f∈F2(N"))∧∀x((x∈N")∧(x-1∈N")∧(f(x)=1')→(f(x-1)=1'))}
is a set. Assume that (f∈B)∧(x∈N")∧(¬N(x)). If f(x)=1', 0'≠1'=f(x)=f(x-1)=f(x-2)=…(infinitely).
f∉F2(N") then. So f(x)=0'. f(y)=1'⇒N(y) B={f0}∪{f1}∪{f2}∪…(infinitely)
f0(x)=0' for x∈N". fk(x)=1' for x∈{1}∪…∪{k}. fk(x)=0' for x∈N"-({1}∪…∪{k}).
B is countable and isn't a set. This is contradiction.♦
Let A(∋1) be a commutative ring. Let M,N be A modules. A(S) may not be a set for a set S by theorem 10.
Generally,you cannot get the surjection A(M)→M and the projective resolution of M. You cannot define
M⊗AN by A(M×N) or Z(M×N). You must examine theorems got by using ⊗ or Tor( Mordell conjecture etc.).
                              3

The physics treats the real numbers and isn't consistent. Every phenomenon
like free productivity is possible. This is an answer to the 6th problem of
Hilbert. You may have to admit inconsistency of the mathematics too.
goo | コメント ( 0 ) | トラックバック ( 0 )

Defect of the formal algebra 1"

2014-10-09 12:23:55 | Mathematics
                                       1

I indicate that countable sets which you use intuitively aren't sets. The standard mathematics isn't
consistent. Millennium problems are nonsense.
                                       2

Let C={c1}∪{c2}∪…(infinitely) (ci≠ck for i≠k) be a countable one. Every ci is a set.
Theorem 1. If C is a set, ∑i∈C x =∑i∈C-{c1} x for ∀x.
Proof. When m∉I, ∑i∈I∪{m} xi =(∑i∈I xi)+xm. ∑i∈{m} xi=xm.
So ∑i∈{c1}xi=xc1, ∑i∈{c1}∪{c2} xi=xc1+xc2,…,
i∈{c1}∪…∪{cm} xi=xc1+…+xcm,…,∑i∈{c1}∪{c2}∪…(infinitely) xi
=xc1+xc2+…(infinitely). ∑i∈C x=x+x+…(infinitely) Similarly,∑i∈C-{c1} x=
i∈{c2}∪{c3}∪…(infinitely) x=x+x+…(infinitely)=∑i∈C x. ♦
Let L be a module.
Theorem 2. When xi,yi∈L for ∀i∈C, ∑i∈C xi +∑i∈C yi =∑i∈C (xi+yi)
if C is a set.
Proof. Put B(I)=∑i∈I xi + ∑i∈I yi. B({c1})=xc1+yc1,
B({c1}∪{c2})=(xc1+yc1)+(xc2+yc2),… B({c1}∪…∪{cm})=(xc1+yc1)+
…(xcm+ycm),…B(C)=(xc1+yc1)+(xc2+yc2)+…(infinitely)=∑i∈C (xi+yi) ♦
Let 0" be the zero of L. Assume that L∋b≠0". Put a=∑i∈C 0", d=∑i∈C b,
d"=∑i∈C (-b) .
Theorem 3. a≠0" if C is a set.
Proof. Assume that a=0". Put (bc1,bc2,…)=(b,0",0",…).
b=a+b=(∑i∈C-{c1} 0")+b =∑i∈C bi
0"=a=∑i∈C (b+(-b)) =d+d"=((∑i∈C-{c1} b)+b)+d"=(d+b)+d"
=(∑i∈C b + ∑i∈C bi )+∑i∈C (-b)=∑i∈C ((b+bi)+(-b))=∑i∈C bi=b This is contradiction.♦
Put R=∪{F2I|I∈2C-{∅}}={{ai}i∈I|∅≠I⊂C, ai∈F2} F2={0',1'}, 0'+0'=1'+1'=0', 0'+1'=1'+0'=1'
Define {ai}i∈I~{a"i}i∈I"⇔ {i|(i∈I)∧(ai=1')}={i|(i∈I")∧(a"i=1')}. ~ is an equivalence relation.
Define {ai}i∈I+{a"i}i∈I"={di}i∈I∪I" (di=ai+a"i for i∈I∩I", di=ai for i∈I-I",
di=a"i for i∈I"-I) Let C(u) be the equivalence class of u. If C is a set,R and R"={C(u)|u∈R} are sets.
u,u",v,v"∈R, u~u",v~v" ⇒ u+v~u"+v". You can define C(u)+C(v)=C(u+v). R" is a module then.
Theorem 4. When L=R" and b=C({1'}i∈{c1})≠0", a=0" if C is a set.
Proof. Set up that L=R". 0"=C({0'}i∈I) (∅≠I⊂C) I∩I"=∅⇒{ai}i∈I∪I"={ai}i∈I+{ai}i∈I"
So C({ai}i∈{c1}∪{c2})=C({ai}i∈{c1})+C({ai}i∈{c2}),…,C({ai}i∈{c1}∪…∪{cm})=C({ai}i∈{c1})+…+C({ai}i∈{cm}),…,
C({ai}i∈C)=C({ai}i∈{c1}∪{c2}∪…(infinitely))=C({ai}i∈{c1})+C({ai}i∈{c2})+…(infinitely)=∑k∈CC({ai}i∈{k}).
0"=C({0'}i∈C)=∑k∈CC({0'}i∈{k})=∑k∈C0"=a ♦
Theorem 5. C isn't a set.
Proof. By theorem 3 and theorem 4.♦
goo | コメント ( 0 ) | トラックバック ( 0 )