Related papers: Hyperreal differentiation with an idempotent ultra…

In the setting of operators on Hilbert spaces, we prove that every quasinilpotent operator has a non-trivial closed invariant subspace if and only if every pair of idempotents with a quasinilpotent commutator has a non-trivial common closed…

We consider differential operators between sections of arbitrary powers of the determinant line bundle over a contact manifold. We extend the standard notions of the Heisenberg calculus: noncommutative symbolic calculus, the principal…

A divisibility relation on ultrafilters is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also belongs to $\cal G$. After describing the…

For ultrafilters u,v on N, the operation u/v is introduced and formalised which acts as quotient-like structures when v strongly divides u.Central to our study is the characterization of self-divisible ultrafilters in connection with the…

In [10], Halmos proved an interesting result that the set of irreducible operators is dense in $\mathcal B(\mathcal H)$ in the sense of Hilbert-Schmidt approximation. In a von Neumann algebra $\mathcal M$ with separable predual, an operator…

It was recently shown that arbitrary first-order models canonically extend to models (of the same language) consisting of ultrafilters. The main precursor of this construction was the extension of semigroups to semigroups of ultrafilters, a…

Let us denote ${\cal V}$, the finite dimensional vector spaces of functions of the form $\psi(x) = p_n(x) + f(x) p_m(x)$ where $p_n(x)$ and $p_m(x)$ are arbitrary polynomials of degree at most $n$ and $m$ in the variable $x$ while $f(x)$…

We define an infinite dimensional modification of lower-semicomputability of density operators by G\'acs with an attempt to fix some problem in the paper. Our attempt is partly achieved by showing the existence of universal operator under…

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…

Let $M$ be a finitely generated module of dimention d over a Noetherian local ring (A,m) and I an m-primary ideal. Let be a pair of good I-filtrations F and F' of M. We show that the Hilbert coefficients e_i(F) are bounded below and above…

We consider some second order quasilinear partial differential inequalities for real valued functions on the unit ball and find conditions under which there is a lower bound for the supremum of nonnegative solutions that do not vanish at…

We introduce a framework for proving statements about linear operators by verification of ideal membership in a free algebra. More specifically, arbitrary first-order statements about identities of morphisms in preadditive semicategories…

We extend the classical regularity theorem of elliptic operators to maximally hypoelliptic differential operators. More precisely, given vector fields $X_1,\ldots,X_m$ on a smooth manifold which satisfy H\"ormander's bracket generating…

We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet…

This paper introduces the expanded real numbers as an ordered subring of the hyperreal number field that does not contain any infinitesimals, and defines the set of all integrable functions from the real numbers to the expanded real…

Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…

A linear operator on a finite dimensional nonzero real vector space may not have an eigenvalue. We define a related notion of a true-pair of a linear operator, and then show that each linear operator on a finite dimensional nonzero real…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

If $S$ is a discrete semigroup, then $\beta S$ has a natural, left-topological semigroup structure extending $S$. Under some very mild conditions, $U(S)$, the set of uniform ultrafilters on $S$, is a two-sided ideal of $\beta S$, and…

The concept of determinant for a linear operator in an infinite-dimensional space is addressed, by using the derivative of the operator's zeta-function (following Ray and Singer) and, eventually, through its zeta-function trace. A little…