Gli spazi ${\omega }_{\mu }$-metrici uniformemente numerabilmente paracompatti sono uniformemente paracompatti. Si fornisce altresì una caratterizzazione degli spazi ${\omega }_{\mu }$-metrici fini.

Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche $[\lambda ,\mu ]$-compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale $k$ tale che una logica è $(k,k)$-compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di $(\lambda ,\mu )$-compattezza e $[\lambda ,\mu ]$-compattezza. ...

Una $\mathrm{\Delta }$-tautologia è una tautologia del tipo $H\to K$ avente un solo interpolante di Craig $J$, a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale $J$, mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.

Una $\mathrm{\Delta }$-tautologia è una tautologia del tipo $H\to K$ avente un solo interpolante di Craig $J$, a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale $J$, mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.

Si considerano due spazi $S_{\mu }$ e $S_{\nu }^{\ast }$, Riemanniani e a metrica eventualmente indefinita, riferiti a sistemi di co-ordinate $\mathrm{\varnothing }$ e ${\mathrm{\varnothing }}_{\nu }^{\ast }$; e inoltre un doppio tensore $T_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ associato ai punti ${\mathrm{\varnothing }}^{-1}(x)\in S_{\mu }$ e ${\mathrm{\varnothing }}^{\ast -1}(y)\in S^{\ast }$. Si pensa $T_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ dato da una funzione ${\tilde{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ di $m$ altri tali doppi tensori e di variabili puntuali $x(\in {\mathrm{\Re }}^{\mu })$, $t\in \mathrm{\Re }$ e $y(\in {\mathrm{\Re }}^{\nu })$; poi si considera la funzione composta $${\widehat{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y)={\tilde{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}[\underset{1,\mathrm{\dots },m}{\underbrace{{\breve{H}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y),\mathrm{\dots },{\breve{H}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y)}},x,t,y].$$ Nella Parte I si scrivono due regole per eseguire la derivazione totale di questa, connessa con una mappa $\widehat{ℰ}$ $(={\widehat{ℰ}}_t)$ fra $S_{\nu }^{\ast }$ e $S_{\mu }$; una è a termini generalmente non covarianti...

Let T be a linear operator on a Banach space X with $supₙ\left|\right|Tⁿ/n^w\left|\right|<\infty$ for some 0 ≤ w < 1. We show that the following conditions are equivalent: (i) $n^{-1}{\sum }_{k=0}^{n-1}{T}^k$ converges uniformly; (ii) $cl(I-T)X=z\in X:li{m}_n{\sum }_{k=1}^n{T}^{k}z/kexists$.

Let $G$ be an undirected connected graph with $n$, $n\ge 3$, vertices and $m$ edges with Laplacian eigenvalues ${\mu }_1\ge {\mu }_2\ge \cdots \ge {\mu }_{n-1}>{\mu }_n=0$. Denote by ${\mu }_I={\mu }_{r_1}+{\mu }_{r_2}+\cdots +{\mu }_{r_k}$, $1\le k\le n-2$, $1\le r_1<r_2<\cdots <r_k\le n-1$, the sum of $k$ arbitrary Laplacian eigenvalues, with ${\mu }_{I_1}={\mu }_1+{\mu }_2+\cdots +{\mu }_k$ and ${\mu }_{I_n}={\mu }_{n-k}+\cdots +{\mu }_{n-1}$. Lower bounds of graph invariants ${\mu }_{I_1}-{\mu }_{I_n}$ and ${\mu }_{I_1}/{\mu }_{I_n}$ are obtained. Some known inequalities follow as a special case.

A topological space $(X,\tau )$ is said to be $z$-Lindelöf  [1] if every cover of $X$ by cozero sets of $(X,\tau )$ admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of $z$-Lindelöf spaces.

We study some generalized metric properties on the hyperspace $ℱ\left(X\right)$ of finite subsets of a space $X$ endowed with the Vietoris topology. We prove that $X$ has a point-star network consisting of (countable) $wcs$-covers if and only if so does $ℱ\left(X\right)$. Moreover, $X$ has a sequence of $wcs$-covers with property $\left(P\right)$ which is a point-star network if and only if so does $ℱ\left(X\right)$, where $\left(P\right)$ is one of the following properties: point-finite, point-countable, compact-finite, compact-countable, locally finite, locally countable....

Si dimostra il seguente risultato. Sia $X$ una superficie proiettivamente rigata, non iperpiana, di ${𝐏}^{\mathrm{𝟒}}$; allora $X$ è la rigata cubica oppure è una rigata quintica ellittica. Si descrive inoltre una nuova generazione proiettiva delle rigate quintiche ellittiche di ${𝐏}^{\mathrm{𝟒}}$.

J. Terasawa in "$\beta X-\left\{p\right\}$ are non-normal for non-discrete spaces $X$" (2007) and the author in “On non-normality points and metrizable crowded spaces” (2007), independently showed for any metrizable crowded space $X$ that each point $p$ of its Čech–Stone remainder $X^{*}$ is a non-normality point of $\beta X$. We introduce a new class of spaces, named nice spaces, which contains both of Sorgenfrey line and every metrizable crowded space. We obtain the result above for every nice space.

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space $𝐗=(X,T)$ is countably compact if and only if it is countably subcompact relative to $T$. (iii) For every metrizable space $𝐗=(X,T)$, the following are equivalent: (a) $𝐗$ is compact; (b) for every open filter $ℱ$ of $𝐗$, $\bigcap \{\overline{F}:F\in ℱ\}\ne \varnothing$; (c) $𝐗$ is subcompact relative to $T$. We also show: (iv) The negation of each of the statements, (a) every countably subcompact...

Si considerano due spazi $S_{\mu }$ e $S_{\nu }^{\ast }$, Riemanniani e a metrica eventualmente indefinita, riferiti a sistemi di co-ordinate $\mathrm{\varnothing }$ e ${\mathrm{\varnothing }}_{\nu }^{\ast }$; e inoltre un doppio tensore $T_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ associato ai punti ${\mathrm{\varnothing }}^{-1}(x)\in S_{\mu }$ e ${\mathrm{\varnothing }}^{\ast -1}(y)\in S^{\ast }$. Si pensa $T_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ dato da una funzione ${\tilde{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ di $m$ altri tali doppi tensori e di variabili puntuali $x(\in {\mathrm{\Re }}^{\mu })$, $t\in \mathrm{\Re }$ e $y(\in {\mathrm{\Re }}^{\nu })$; poi si considera la funzione composta $${\widehat{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y)={\tilde{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}[\underset{1,\mathrm{\dots },m}{\underbrace{{\breve{H}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y),\mathrm{\dots },{\breve{H}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y)}},x,t,y].$$ Nella Parte I si scrivono due regole per eseguire la derivazione totale di questa, connessa con una mappa $\widehat{ℰ}$ $(={\widehat{ℰ}}_t)$ fra $S_{\nu }^{\ast }$ e $S_{\mu }$; una è a termini generalmente non covarianti...

In questa Nota, dati uno spazio metrico perfetto $X$ ed un suo sottoinsieme $K$ chiuso e raro, si dimostra l'esistenza di una funzione continua $f:X\to [0,1]$ tale che $int(f^{-1}(t))=\mathrm{\varnothing }$ per ogni $t\in [0,1]$, $f(x)=0$ per ogni $x\in K$ e $f(y)=1$ per qualche $y\in X\setminus K$. In particolare, ciò permette di dare risposta simultaneamente a due questioni poste in [2]. Si mettono in evidenza, poi, ulteriori conseguenze di tale risultato.

Let $\Omega \in L^s\left({\mathrm{S}}^{n-1}\right)$ for $s\ge 1$ be a homogeneous function of degree zero and $b$ a BMO function. The commutator generated by the Marcinkiewicz integral ${\mu }_{\Omega }$ and $b$ is defined by $${\displaystyle [b,{\mu }_{\Omega }]\left(f\right)\left(x\right)=({\int }_0^{\infty }{\left|{\int }_{|x-y|\le t}\frac{\Omega (x-y)}{{|x-y|}^{n-1}}[b\left(x\right)-b\left(y\right)]f\left(y\right)\mathrm{d}y{|}^2\frac{\mathrm{d}t}{t^3}\right)}^{1/2}.}$$ In this paper, the author proves the $(L^{p(·)}\left({ℝ}^n\right),L^{p(·)}\left({ℝ}^n\right))$-boundedness of the Marcinkiewicz integral operator ${\mu }_{\Omega }$ and its commutator $[b,{\mu }_{\Omega }]$ when $p(·)$ satisfies some conditions. Moreover, the author obtains the corresponding result about ${\mu }_{\Omega }$ and $[b,{\mu }_{\Omega }]$ on Herz spaces with variable exponent.

In this paper we study the balanced metrics on some Hartogs triangles of exponent $\gamma \in {\mathbb{Z}}^{+}$, i.e., $${\Omega }_n\left(\gamma \right)=\{z=(z_1,\cdots ,z_n)\in {ℂ}^n:|z_1{|}^{1/\gamma }<|z_2|<\cdots <|z_n|<1\}$$ equipped with a natural Kähler form ${\omega }_{g\left(\mu \right)}:=\frac{1}{2}(i/\pi )\partial \overline{\partial }{\Phi }_n$ with $${\Phi }_n\left(z\right)=-{\mu }_{1}ln\left(\right|z_2{|}^{2\gamma }-\left|z_1{|}^2\right)-\sum _{i=2}^{n-1}{\mu }_{i}ln\left(\right|z_{i+1}{|}^2-\left|z_i{|}^2\right)-{\mu }_{n}ln(1-|z_n{|}^2),$$ where $\mu =({\mu }_1,\cdots ,{\mu }_n)$, ${\mu }_i>0$, depending on $n$ parameters. The purpose of this paper is threefold. First, we compute the explicit expression for the weighted Bergman kernel function for $({\Omega }_n\left(\gamma \right),g\left(\mu \right))$ and we prove that $g\left(\mu \right)$ is balanced if and only if ${\mu }_1>1$ and $\gamma {\mu }_1$ is an integer, ${\mu }_i$ are integers such that ${\mu }_i\ge 2$ for all $i=2,...,n-1$, and ${\mu }_n>1$. Second, we prove that $g\left(\mu \right)$ is Kähler-Einstein if and only if ${\mu }_1={\mu }_2=\cdots ={\mu }_n=2\lambda$, where...

Ogni logica $L$ genera canonicamente la $L$-equivalenza ${\equiv }_L$e la $L$-immersione $\underset{𝐿}{\to }$ proprio come la logica del primo ordine genera l’equivalenza elementare $\equiv$ e l’immersione elementare $\lesssim$. Astraendo da $L$, è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ($A{P}^{+}$). Caratterizziamo algebricamente...

Ogni logica $L$ genera canonicamente la $L$-equivalenza ${\equiv }_L$e la $L$-immersione $\underset{𝐿}{\to }$ proprio come la logica del primo ordine genera l’equivalenza elementare $\equiv$ e l’immersione elementare $\lesssim$. Astraendo da $L$, è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ($A{P}^{+}$). Caratterizziamo algebricamente...

Si studiano le condizioni sotto cui l’immagine (o l'immagine inversa) di uno spazio localmente $S$-chiuso sia localmente $S$-chiuso.

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z)\ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of ${\ell }_{\infty }$.