Let $F\subset C^{\ast }(X)$ be a vector sublattice over $ℝ$ which separates points from closed sets of $X$. The compactification $e_{F}X$ obtained by embedding $X$ in a real cube via the diagonal map, is different, in general, from the Wallman compactification $\omega (Z(F))$. In this paper, it is shown that there exists a lattice $F_z$ containing $F$ such that $\omega (Z(F))=\omega (Z(F_z))=e_{F}X$. In particular this implies that $\omega (Z(F))\ge e_{F}X$. Conditions in order to be $\omega (Z(F))=e_{F}X$ are given. Finally we prove that, if $\alpha X$ is a compactification of $X$ such that $C{l}_{\alpha X}(\alpha X\setminus X)$ is $0$-dimensional, then there is an...

Siano $d$, $g$, $t$ interi con $0\le t\le g$; se esiste in ${\mathbb{P}}_3(ℂ)$ una curva connessa, non singolare di grado $d$ e genere $g$, allora esiste in ${\mathbb{P}}_3(ℂ)$ una curva irriducibile di grado $d$, genere aritmetico $g$ e $t$ nodi.

Sia $K\subset \subset {ℝ}^n$ un compatto, $f\ge 0$ una funzione analitica all'intorno di $K$, ed $m$ la massima molteplicità in $K$ degli zeri di $f$; si prova che la potenza $f^{\lambda }$ ($\lambda \in ℂ$, $Re\lambda >\mathrm{—}\frac{1}{m}$) è integrabile in $K$. L'estensione meromorfa dell'applicazione $\lambda \to f^{\lambda }$ da $Re\lambda >0$ a tutto $ℂ$ (con valori in ${𝒟}^{\prime }(K)$ anziché in $L^1(K)$) era già stata provata in [1] e [2].

Si considera l’equazione astratta $B{A}_{1}u+A_{0}u=h$, dove $A_i$ $(i=0,1)$ e $B$ sono convenienti operatori lineari chiusi fra spazi di Banach, $A_i$ non è necessariamente invertibile, e $A_0$, $A_1$ non commutano con $B$. Si studiano esistenza ed unicità delle soluzioni. Si indicano alcune applicazioni a certe equazioni differenziali degeneri o singolari.

Dato un cono $V$ aperto non vuoto, convesso, regolare e affinemente omogeneo in uno spazio vettoriale reale $W$ di dimensione finita si prova che per ogni $v$ appartenente a $V$ esiste un diffeomorfismo $E_v:W\to V$ che soddisfa le condizioni seguenti E1) $E_v(0)=v$; E2) $det(d{E}_v(y))={\mathrm{\Phi }}_V{(E_v(y))}^{-1}$ per ogni $y$ appartenente a $W$ ove ${\mathrm{\Phi }}_V:V\to {𝐑}^{+}$ è la funzione caratteristica di $V$.

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.

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...

We prove that for a normed linear space $X$, if $f_1:X\to ℝ$ is continuous and semiconvex with modulus $\omega$, $f_2:X\to ℝ$ is continuous and semiconcave with modulus $\omega$ and $f_1\le f_2$, then there exists $f\in C^{1,\omega }\left(X\right)$ such that $f_1\le f\le f_2$. Using this result we prove a generalization of Ilmanen lemma (which deals with the case $\omega \left(t\right)=t$) to the case of an arbitrary nontrivial modulus $\omega$. This generalization (where a $C_{loc}^{1,\omega }$ function is inserted) gives a positive answer to a problem formulated by A. Fathi and M. Zavidovique in 2010.

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.

Si costruiscono curve di genere $g=4n\mathrm{—}3$, $n\ge 3$ che hanno $2^{n-3}(2^{n-2}-1)$ fasci semicanonici $L$ tali che $h^0(L)=4$. Per $n+3$ si dimostra che gli $L$ sono molto ampi.

A nonincreasing sequence $\pi =(d_1,...,d_n)$ of nonnegative integers is a graphic sequence if it is realizable by a simple graph $G$ on $n$ vertices. In this case, $G$ is referred to as a realization of $\pi$. Given two graphs $G_1$ and $G_2$, A. Busch et al. (2014) introduced the potential-Ramsey number of $G_1$ and $G_2$, denoted by $r_{\mathrm{pot}}(G_1,G_2)$, as the smallest nonnegative integer $m$ such that for every $m$-term graphic sequence $\pi$, there is a realization $G$ of $\pi$ with $G_1\subseteq G$ or with $G_2\subseteq \overline{G}$, where $\overline{G}$ is the complement of $G$. For $t\ge 2$ and $0\le k\le \lfloor \frac{t}{2}\rfloor$, let $K_t^{-k}$ be the graph...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

In [1] I and II various equivalence theorems are proved; e.g. an ODE $(ℰ)\dot{z}=F(t,z,u,\dot{u})(\in {ℝ}^m)$ with a scalar control $u=u(\cdot )$ is linear w.r.t. $\dot{u}$ iff $(\alpha )$ its solution $z(u,\cdot )$ with given initial conditions (chosen arbitrarily) is continuous w.r.t. $u$ in a certain sense, or iff $(\beta )$ $z(u,\cdot )$ satisfies certain conditions by which $1^{st}$-order discontinuities of $u$ and $\dot{u}$ can be treated satisfactorily. In the case when, for $z=(q,p)$ equation $(ℰ)$ is a semi-Hamiltonian system, equivalent to a system of Lagrangian equations of a general type,...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...

We investigate the recovery of $k$-sparse signals using the ${\ell }_1$-${\ell }_2$ minimization model with prior support set information. The prior support set information, which is believed to contain the indices of nonzero signal elements, significantly enhances the performance of compressive recovery by improving accuracy, efficiency, reducing complexity, expanding applicability, and enhancing robustness. We assume $k$-sparse signals $𝐱$ with the prior support $T$ which is composed of $g$ true indices and $b$ wrong...

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...