For a nontrivial connected graph $F$, the $F$-degree of a vertex $v$ in a graph $G$ is the number of copies of $F$ in $G$ containing $v$. A graph $G$ is $F$-continuous (or $F$-degree continuous) if the $F$-degrees of every two adjacent vertices of $G$ differ by at most 1. All $P_3$-continuous graphs are determined. It is observed that if $G$ is a nontrivial connected graph that is $F$-continuous for all nontrivial connected graphs $F$, then either $G$ is regular or $G$ is a path. In the case of a 2-connected graph $F$, however, there always exists a regular graph that is not $F$-continuous. It is also shown that for every graph $H$ and every 2-connected graph $F$, there exists an $F$-continuous graph $G$ containing $H$ as an induced subgraph.
In this paper, we prove that a space $X$ is a $g$-metrizable space if and only if $X$ is a weak-open, $\pi $ and $\sigma $-image of a semi-metric space, if and only if $X$ is a strong sequence-covering, quotient, $\pi $ and $mssc$-image of a semi-metric space, where “semi-metric” can not be replaced by “metric”.
The concepts of $k$-systems, $k$-networks and $k$-covers were defined by A. Arhangel’skiǐ in 1964, P. O’Meara in 1971 and R. McCoy, I. Ntantu in 1985, respectively. In this paper the relationships among $k$-systems, $k$-networks and $k$-covers are further discussed and are established by $mk$-systems. As applications, some new characterizations of quotients or closed images of locally compact metric spaces are given by means of $mk$-systems.
Let $R$ be a commutative Noetherian ring. It is shown that the finitely generated $R$-module $M$ with finite Gorenstein dimension is reflexive if and only if $M_{\mathfrak p}$ is reflexive for ${\mathfrak p} \in {\rm Spec}(R) $ with ${\rm depth}(R_{\mathfrak p}) \leq 1$, and ${\mbox {G-{\rm dim}}}_{R_{\mathfrak p}} (M_{\mathfrak p}) \leq {\rm depth}(R_{\mathfrak p})-2 $ for ${\mathfrak p}\in {\rm Spec} (R) $ with ${\rm depth}(R_{\mathfrak p})\geq 2 $. This gives a generalization of Serre and Samuel's results on reflexive modules over a regular local ring and a generalization of a recent result due to Belshoff. In addition, for $n\geq 2$ we give a characterization of $n$-Gorenstein rings via Gorenstein dimension of the dual of modules. Finally it is shown that every $R$-module has a $k$-torsionless cover provided $R$ is a $k$-Gorenstein ring.
In this paper, we consider the global existence, uniqueness and $L^{\infty }$ estimates of weak solutions to quasilinear parabolic equation of $m$-Laplacian type $u_{t}-\mathop {\rm div}(|\nabla u|^{m-2}\nabla u)=u|u|^{\beta -1}\int _{\Omega } |u|^{\alpha } {\rm d} x$ in $\Omega \times (0,\infty )$ with zero Dirichlet boundary condition in $\partial \Omega $. Further, we obtain the $L^{\infty }$ estimate of the solution $u(t)$ and $\nabla u(t)$ for $t>0$ with the initial data $u_0\in L^q(\Omega )$ $(q>1)$, and the case $\alpha +\beta < m-1$.
In this paper $LJ$-spaces are introduced and studied. They are a common generalization of Lindelöf spaces and $J$-spaces researched by E. Michael. A space $X$ is called an $LJ$-space if, whenever $\lbrace A,B\rbrace $ is a closed cover of $X$ with $A\cap B$ compact, then $A$ or $B$ is Lindelöf. Semi-strong $LJ$-spaces and strong $LJ$-spaces are also defined and investigated. It is demonstrated that the three spaces are different and have interesting properties and behaviors.
We characterize statistical independence of sequences by the $L^p$-discrepancy and the Wiener $L^p$-discrepancy. Furthermore, we find asymptotic information on the distribution of the $L^2$-discrepancy of sequences.
We show for $2\le p<\infty $ and subspaces $X$ of quotients of $L_{p}$ with a $1$-unconditional finite-dimensional Schauder decomposition that $K(X,\ell _{p})$ is an $M$-ideal in $L(X,\ell _{p})$.
We study the position of compact operators in the space of all continuous linear operators and its subspaces in terms of ideals. One of our main results states that for Banach spaces $X$ and $Y$ the subspace of all compact operators $\mathcal K(X,Y)$ is an $M(r_1 r_2, s_1 s_2)$-ideal in the space of all continuous linear operators $\mathcal L(X,Y)$ whenever $\mathcal K(X,X)$ and $\mathcal K(Y,Y)$ are $M(r_1,s_1)$- and $M(r_2,s_2)$-ideals in $\mathcal L(X,X)$ and $\mathcal L(Y,Y)$, respectively, with $r_1+s_1/2>1$ and $r_2+s_2/2>1$. We also prove that the $M(r,s)$-ideal $\mathcal K(X,Y)$ in $\mathcal L(X,Y)$ is separably determined. Among others, our results complete and improve some well-known results on $M$-ideals.
In analogy with effect algebras, we introduce the test spaces and $MV$-test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between $MV$-algebras and $MV$-test spaces.