English
Related papers

Related papers: Idealization of Ganster-Reilly decomposition theor…

200 papers

We prove that any continuous mapping $f:E\to Y$ on a completely metrizable subspace $E$ of a perfect paracompact space $X$ can be extended to a Lebesgue class one mapping $g:X\to Y$ (i.e. for every open set $V$ in $Y$ the preimage…

General Topology · Mathematics 2014-07-03 Olena Karlova

In this paper we study graded ideals I in a polynomial ring S such that the numerical function f(k)=depth(S/I^k) is constant. We show that, if (i) the Rees algebra of I is Cohen-Macaulay, (ii) the cohomological dimension of I is not larger…

Commutative Algebra · Mathematics 2015-09-08 Le Dinh Nam , Matteo Varbaro

For a subfield K of C, we denote by C^K the category of algebras of functions defined on the globally subanalytic sets that are generated by all K-powers and logarithms of positively-valued globally subanalytic functions. For any function f…

Algebraic Geometry · Mathematics 2025-07-09 Georges Comte , Dan J. Miller , Tamara Servi

Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming $\omega$-string transducers as well as deterministic two-way transducers with look-ahead. In their one-way restriction, the…

Formal Languages and Automata Theory · Computer Science 2024-09-19 V. Dave , E. Filiot , S. Krishna , N. Lhote

An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$…

Commutative Algebra · Mathematics 2025-05-06 Marie Amalore Nambi , Neeraj Kumar

In the set of continuous functions C(X,Y) where Y has a topology close to being discrete, there is an equivalence relation on X which characterizes the quasi-components of X. If Y satisfies weak algebraic conditions with a single binary…

Rings and Algebras · Mathematics 2014-07-14 Harvey J. Charlton

A word-to-word function is continuous for a class of languages~$\mathcal{V}$ if its inverse maps $\mathcal{V}$_languages to~$\mathcal{V}$. This notion provides a basis for an algebraic study of transducers, and was integral to the…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Michaël Cadilhac , Olivier Carton , Charles Paperman

We prove an analytic version of the stable graph regularity lemma from \cite{MaSh}, which applies to stable functions $f\colon V\times W\to [0,1]$. Our methods involve continuous model theory and, in particular, results on the structure of…

Logic · Mathematics 2024-10-21 Nicolas Chavarria , Gabriel Conant , Anand Pillay

We study various proofs of the caracterization of constant functions, more precisely of the theorem: a derivable function, defined on a real interval, is constant if, and only if, its derivative is null. Our aim is to study the…

History and Overview · Mathematics 2008-10-29 Antoine Delcroix , Christian Silvy

Let $\A$ be the operator which assigns to each $m \times n$ matrix-valued function on the unit circle with entries in $H^\infty + C$ its unique superoptimal approximant in the space of bounded analytic $m \times n$ matrix-valued functions…

Functional Analysis · Mathematics 2016-09-06 Vladimir V. Peller , Nicholas J. Young

We give the definition of uniform symmetric continuity for functions defined on a nonempty subset of the real line. Then we investigate the properties of uniformly symmetrically continuous functions and compare them with those of…

Classical Analysis and ODEs · Mathematics 2016-02-10 Tammatada Khemaratchatakumthorn , Prapanpong Pongsriiam

Let $(R,\mathfrak m)$ be a local ring and $I, J$ two arbitrary ideals of $R$. Let $\operatorname{gr}_J(R/I)$ denote the associated ring of $R/I$ with respect to $J$, which corresponds to the normal cone in geometry. The main result of this…

Commutative Algebra · Mathematics 2023-01-24 Pham Hung Quy , Ngo Viet Trung

Let G be a bipartite graph with edge ideal I(G) whose quotient ring R/I(G) is sequentially Cohen-Macaulay. We prove: (1) the independence complex of G must be vertex decomposable, and (2) the Castelnuovo-Mumford regularity of R/I(G) can be…

Commutative Algebra · Mathematics 2009-06-02 Adam Van Tuyl

When I is an ideal of a standard graded algebra S with homogeneous maximal ideal \mm, it is known by the work of several authors that the Castelnuovo-Mumford regularity of I^m ultimately becomes a linear function dm + e for m \gg 0. We give…

Commutative Algebra · Mathematics 2011-05-12 David Berlekamp

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…

Number Theory · Mathematics 2015-06-02 Patrick Cégielski , Serge Grigorieff , Irène Guessarian

The core of an $R$-ideal $I$ is the intersection of all reductions of $I$. This object was introduced by D. Rees and J. Sally and later studied by C. Huneke and I. Swanson, who showed in particular its connection to J. Lipman's notion of…

Commutative Algebra · Mathematics 2007-05-23 Alberto Corso , Claudia Polini , Bernd Ulrich

If $f$ is a Henstock--Kurzweil integrable function on the real line, the Alexiewicz norm of $f$ is $\|f\|=\sup_I|\int_I f|$ where the supremum is taken over all intervals $I\subset\R$. Define the translation $\tau_x$ by $\tau_xf(y)=f(y-x)$.…

Classical Analysis and ODEs · Mathematics 2007-05-23 Erik Talvila

Let $M$ be a complex- or real-analytic manifold, $\theta$ be a singular distribution and $\mathcal{I}$ a coherent ideal sheaf defined on $M$. We prove the existence of a local resolution of singularities of $\mathcal{I}$ that preserves the…

Complex Variables · Mathematics 2016-11-04 André Belotto da Silva

It is well known, as follows from the Banach-Steinhaus theorem, that if a sequence $\left\{y_{n}\right\}_{n=1}^{\infty}$ of linear continuous functionals in a Fr\'echet space converges pointwise to a linear functional $Y,$ $Y\left( x\right)…

Functional Analysis · Mathematics 2017-03-09 Ricardo Estrada , Jasson Vindas

We give necessary and sufficient conditions on a function $f:[0,1]\to {0,1,2,...,\omega,\continuum}$ under which there exists a continuous function $F:[0,1]\to [0,1]$ such that for every $y\in[0,1]$ we have $|F^{-1}(y)|=f(y)$.

Logic · Mathematics 2007-08-28 Aleksandra Kwiatkowska