Some weak forms of the Baire category theorem

We show that the statement (K12) “separable, countably compact, regular spaces are Baire” is deducible from a strictly weaker form than AC, namely, CAC(?) (the axiom of choice for countable families of non‐empty subsets of the real line ?). We also find some characterizations of the axiom of dependent choices.     

Complex analysis in subsystems of second order arithmetic

This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in order to determine what kind of set existence axioms are needed to prove theorems of basic analysis. We are especially concerned with Cauchy’s integral theorem. We show that a weak version of Cauchy’s integral theorem is proved in RCAo. Using this, we can prove that holomorphic functions are analytic in RCAo. On the other hand, we show that a full version of Cauchy’s integral theorem cannot be proved in RCAo but is equivalent to weak König’s lemma over RCAo.     

Metric,Fractal Dimensional and Baire Results on the Distribution of Subsequences

Let X be a locally compact metric space. One important object connected with the distribution behavior of an arbitrary sequence x on X is the set M( x ) of limit measures of x . It is defined as the set of accumulation points of the sequence of the discrete measures induced by x . Using binary representation of reals one gets a natural bijective correspondence between infinite subsets of the set ℕ of positive integers and numbers in the unit interval I = 〈0, 1]. Hence to each sequence x = (x_n)_n∈ℕ ∈ X^ℕ and every a I there corresponds a subsequence denoted by a x . We investigate the set M(a x ) for given x with emphasis on the behavior for “typical” a in the sense of Baire category, Lebesgue measure and Hausdorff dimension.     

STML(L)范畴的若干结果

本文讨论了由(?)-smooth拓扑分子格和(?)-smooth连续的广义序同态所构成的STML((?)) 范畴的若干结果,证明了范畴STML((?))是拓扑范畴,范畴TML是范畴STML((?))的双反射满子范畴,以及两个伴随定理.     

Some Generic Results on Nonattaining Functionals

We prove that (a) in a reflexive space, for any linearly bounded but unbounded closed convex subset the nonsupport functionals are a dense G subset of the polar set, and (b) any nonsemicoercive proper convex lsc [weak^*-lsc] function in a [dual] Banach space has a generic [dense G ] set of L -perturbations which do not attain their infimum. We also characterize the proper convex functions that have inf-nonattaining L -perturbations. This results also in a criterion for reflexivity.     

The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic

In this paper, we show within ${\mathsf{RCA}_0}In this paper, we show within that both the Jordan curve theorem and the Sch?nflies theorem are equivalent to weak K?nig’s lemma. Within , we prove the Jordan curve theorem using an argument of non-standard analysis based on the fact that every countable non-standard model of has a proper initial part that is isomorphic to itself (Tanaka in Math Logic Q 43:396–400, 1997).      

Infinite games in the Cantor space and subsystems of second order arithmetic

In this paper we study the determinacy strength of infinite games in the Cantor space and compare them with their counterparts in the Baire space. We show the following theorems: 1. RCA₀ ? ‐Det* ? ‐Det* ? WKL₀. 2. RCA₀ ? ( )2‐Det* ? ACA₀. 3. RCA₀ ? ‐Det* ? ‐Det* ? ‐Det ? ‐Det ? ATR₀. 4. For 1 < k < ω, RCA₀ ? ( )_k ‐Det* ? ( )_{k –1}‐Det. 5. RCA₀ ? ‐Det* ? ‐Det. Here, Det* (respectively Det) stands for the determinacy of infinite games in the Cantor space (respectively the Baire space), and ( )_k is the collection of formulas built from formulas by applying the difference operator k – 1 times. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Some results on projection of planar sets

In this paper we define certain types of projections of planar sets and study some properties of such projections.     

Hyperstability of a logarithmic-type functional equation on restricted domains

Let $X$ be a real normed vector space and $f:(0,\infty )\to X$. In this paper, we prove the hyperstability of the logarithmic functional equation

$f\left(x^y\right)?yf\left(x\right)=0$

on $\Gamma$ of Lebesgue measure zero. More precisely, we prove that if $f:(0,\infty )\to X$ satisfies

$6f\left(x^y\right)?yf\left(x\right)6\le ?(x,y)$

for all $(x,y)\in {\Gamma }^{+}?\{(x,y):y>\alpha \left(x\right)\}[\mathrm{resp.}{\Gamma }^{?}?\{(x,y):0<y<\alpha \left(x\right)\}]$ of Lebesgue measure zero, where $\alpha :(0,\infty )\to (0,\infty )$ is an arbitrary given function and $?:(0,\infty )\times (0,\infty )\to [0,\infty )$ satisfies the condition $?(x,y)∕y\to 0$ as $y\to \infty$ [resp. $y\to 0$], then $f$ satisfies the functional equation $f\left(x^y\right)=yf\left(x\right)$ for all $x>0$ and$y>0$.     

关于A-H上下界的几个结果

关于算术平均和调和平均的差的估计,利用最值压缩定理,给出了其四个新的上下界.     

Nonstandard second-order arithmetic and Riemannʼs mapping theorem

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.     

Epi-拓扑的某些性质

Throughout this paper R denotes the set of all real numbers.An extended real valued function j f X-[--oo, +oc] is called lower semicontinuouson X if fOr each real Q, {x' f(x) > o} is open in X. Clearly, f is lower semicontinuous ifand only if, its epigraph eghf = {(x, a) f f(x) 5 cr} is closed in X x R. f is caJ1ed proper ifit is somewhere finite, and its values lie in (--co, +oc]. We denote by LSC(X) the set of ajlproper lower semicontinuous functions.In the sequel, we identify lower se…     

On the convergence of Fourier series of computable Lebesgue integrable functions

This paper studies how well computable functions can be approximated by their Fourier series. To this end, we equip the space of L^p‐computable functions (computable Lebesgue integrable functions) with a size notion, by introducing L^p‐computable Baire categories. We show that L^p‐computable Baire categories satisfy the following three basic properties. Singleton sets {f } (where f is L^p‐computable) are meager, suitable infinite unions of meager sets are meager, and the whole space of L^p‐computable functions is not meager. We give an alternative characterization of meager sets via Banach‐Mazur games. We study the convergence of Fourier series for L^p‐computable functions and show that whereas for every p > 1, the Fourier series of every L^p‐computable function f converges to f in the L^p norm, the set of L¹‐computable functions whose Fourier series does not diverge almost everywhere is meager (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Warschawski定理的推广

从单位圆到以光滑 Jordan曲线为边界的单连通区域的共形映射 ,其边界的光滑性有经典的Kellogg定理及其推广的 Warschawski定理 ,本文以连续模、P次平均模为工具对原结果进行了深入的讨论 ,得到了更为一般的结果 .     

Non‐standard analysis in ACA0 and Riemann mapping theorem

This research is motivated by the program of reverse mathematics and non‐standard arguments in second‐order arithmetic. Within a weak subsystem of second‐order arithmetic ACA₀, we investigate some aspects of non‐standard analysis related to sequential compactness. Then, using arguments of non‐standard analysis, we show the equivalence of the Riemann mapping theorem and ACA₀ over WKL₀. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On some new ideals on the Cantor and Baire spaces

We define and investigate some new ideals of subsets of the Cantor space and the Baire space. We show that combinatorial properties of these ideals can be described by the splitting and reaping cardinal numbers. We show that there exist perfect Luzin sets for these ideals on the Baire space.