POMB 2017

2017 3 4 () 11:00 5 () 16:30

@ 2 Z Z102, Z103

Web page: http://pomb.org/joint/201703.html

3 4 () @Z102

11:00 11:05 ()

11:05 12:10 ()

12:50 13:55 () Ver.4

14:05 15:10 ()

15:20 16:25 ()

3 5 () @Z103

11:05 12:10 () Riesz

12:50 13:55 ()

14:05 15:10 ()

15:20 16:25 ()Zorn

16:25 16:30 ()

POMB

MaSS 1

1

,5..

..?

.

.,.

!

..

().

.

2

.

.,

.

[1] ,,, 2 (2010).

[2] ,,, 1

[3] tsujimotter maths4pg

.(2017/2/18)

[4] G(2017/2/18)

1

Ver.4

2017 3 4,5

1 Ver.4 Googolist 1 Ver.17 Ver.4 (halting problem)busy beaver) Ver.4

2 (oracle) Ver.4Ver.4

[1] Mark C.Chu-Carroll cocoatomo 2016

[2] 2 (2016,2017)[3] Michael A. Nielsen, Isaac L. Chuang,2004

2

2017 2 19

1

Boltzmann Newton

Boltzmann

f

t+ v

f

x+ F

f

p= (1)

H

2

Boltzmann

[1] Hisao Hayakawa.Non-equilibrium statistical mechanics of dissipative systems (2015)

[2] ..2000

[3] A... (1969)

[4] .. (1961)

1

[5] . 10. (2000)

[6] .. (1994)

[7] 37 1 (2008)

[8] http://mathsoc.jp/meeting/kikaku/2010aki/2010 aki ukai-p.pdf

2

TANNO, Mahito

2017 3 4 5

1

2

2, 3*1 1

[5] [9]Hurwitz-Courant [2] [7, 8]

https://sites.google.com/site/ouvsemi/*1

1

https://sites.google.com/site/ouvsemi/

[1] L. V. Ahlfors. . , 1982. [:].[2] A. Hurwitz and R. Courant. . , 2.,

2012. [:,].[3] . : 1. , [-41-1]., 2016.[4] . . , No. 2., 2015.[5] . : . , 2015.[6] . . , No. 18., 2002.[7] . : (). , Vol. 1787, pp. 221232, apr 2012.

[8] . : . , 2016.[9] . : . , 2000.

2

Riesz

,

2018 , 3/5

1

( LCH) LCH

*1

*2LCH

2

X

2.1. X X

2.2. X X - algebra - algebra B(X) - algebraB(X)

A B(X) algebra

K (K) < (2.1)

() A A , (A) = inf{(U)|A U,U } (2.2)

() U (U) = sup{(K)|K U,K : } (2.3)

2.1. X,Y algebraf : X Y

2.2. X:LCHX

*1 DFT*2

2.3. f : X R*3f (supp)

supp(f) = {x X|f(x) = 0} (2.4)

X LCH

K(X) = {f : X R|f supp(f) } (2.5)

R X I f K(X), f 0 I(f) 0 positive

2.3. X:LCHK X U X K U f K(X) ; K f U supp(f) U.

2.4. X f K(X), U1, U2, ..., Unsupp(f) ni=1Un{fn}n K(X); f = f1 + ...+ fn, supp(fi) Ui.f 0 fi, fi 0

2.5. (Riesz) X:LCH , I : X positive

! : ; f K(X) , I(f) =

fd (2.6)

1. ,,

2. Measure Theory,Donald L. Cohn,Birkhauser( 7)

*3

ii

2017 3

1 abstruct

. .

.

.

2

[1] (2009)

[2] (2009)

[3] (2012)

1

(KAMOHARA Jun)

2017 3 5

1

( )

( )

R2

K5 ( 1)

K3,3 (

)

K5 K3,3

(

)

1 K5 : *1

R2

(https://sites.google.com/site/ouvsemi/)*1

1

1

2

K5 K3,3

[1] R. Diestel. . . 1997. [ : , ]

[2] B. Bollobas. . . 1979. [ : , ]

2

Zorn

1

Zorn Zorn

Zorn

2

Zorn

Lemma

Zorn

1992