Questions tagged [examples]

For questions requesting examples of a certain structure or phenomenon

Filter by
Sorted by
Tagged with
2 votes
1 answer
95 views

Teaching suggestions for Kleene fixed point theorem

I will take over two lectures from a colleague in which we discuss fixed point theory in the context of complete partial orders, and culminates in showing the Kleene fixed point theorem (see f.e. ...
JustVisiting's user avatar
2 votes
1 answer
188 views

Concrete examples of derived categories

What examples of abelian categories $\mathcal{A}$ are there such that the derived category $\mathcal{D}(\mathcal{A})$ can be described concretely? For example, is there a concrete way of describing $\...
Jannik Pitt's user avatar
  • 1,163
2 votes
0 answers
93 views

Is the Schwartz space a tame Frechet space?

I ran into the following definition of tame Frechet spaces and Nash-Moser therem. It says that the space of smooth functions on a compact manifold is tame Frechet. However, I wonder if The Schwartz ...
Isaac's user avatar
  • 2,727
6 votes
1 answer
172 views

Hopf monads in categorical probability theory

1. Context. According to [1], probability monads are arguably the most important concept in categorical probability theory. In [2] Fritz and Perrone argue that "in order for a monad to really ...
Max Demirdilek's user avatar
1 vote
0 answers
105 views

Nice, concrete example of pl-flipping contraction

In a course I'm giving on the MMP, I am discussing the importance of Shokurov's notion of a pl-flipping contraction for showing that flips exist for arbitrary flipping contractions. Does someone have ...
HNuer's user avatar
  • 2,098
6 votes
1 answer
186 views

Weakly contractible $X$, but none of the maps $*\to X$ are cofibrations

Let $\mathrm{Top}$ be the category of all topological spaces and continuous maps. The Quillen model structure on $\mathrm{Top}$ has weak equvalences $W = \{ \text{weak homotopy equivalences} \}$, ...
mathmo's user avatar
  • 161
0 votes
0 answers
35 views

Finding an element of Gelfand triple with a designated time derivative

Let $V$ be a real separable Banach space and $H$ be a real separable Hilbert space such that \begin{equation} V \subset H \subset V' \end{equation} where $V'$ is the dual of $V$ and the inclusions are ...
Isaac's user avatar
  • 2,727
0 votes
1 answer
87 views

An example of module which is square-free, CS, NOT C3, and NOT nonsingular

Let $M$ be a right $R$-module ($R$ has unity). Recall that $M$ is called square-free if $M$ does not contain two nonzero isomorphic submodules with zero intersection. $M$ is called CS if every ...
Hussein Eid's user avatar
12 votes
2 answers
705 views

Examples of non-polynomial comonads on Set?

Question: What are examples of comonads on $\mathbf{Set}$ that are not polynomial? Background: polynomial functors and comonads on Set A functor $F\colon\mathbf{Set}\to\mathbf{Set}$ is called ...
David Spivak's user avatar
  • 8,549
9 votes
1 answer
353 views

Natural set-theoretic principles implying the Ground Axiom

The Ground Axiom states that the set-theoretic universe is not a set-forcing extension of an inner model. By Reitz, it is first-order expressible and easy to force over any given ZFC model with class-...
Monroe Eskew's user avatar
  • 18.1k
0 votes
0 answers
54 views

Diophantine-like approximation of dynamical subsystems

For $\alpha\in [0,1)$ irrational we know that there exists a sequences $\{ q_n \}_{n=1}^\infty\subseteq \mathbb{N}$ and $\{ p_n \}_{n=1}^\infty\subseteq \mathbb{Z}$ such that $$ \Big\vert \alpha-\frac{...
Keen-ameteur's user avatar
6 votes
0 answers
175 views

Is $L^2(I,\mathbb Z)$ homeomorphic to the Hilbert space?

I am somehow puzzled by the subset $G:=L^2(I,\mathbb Z)$ of $H:=L^2(I,\mathbb R)$ of all integer valued functions on $I=[0,1]$ (in fact I mentioned as an example in this old MO question). Some simple ...
Pietro Majer's user avatar
  • 56.5k
0 votes
1 answer
291 views

Finding examples of functions which are infinite or undefined with current extensions of the expected value?

Preliminaries Consider the expectations desribed in this paper, which is an extension of the Lebesgue density theorem; this paper which is an extension of the Hausdorff measure, using Hyperbolic ...
Arbuja's user avatar
  • 1
1 vote
0 answers
212 views

Results that hold for the complex numbers but not for algebraically closed fields of characteristic zero

When a result is stated for the field of complex numbers it can usually be extended to a result for an algebraically closed field of characteristic zero. I would like to see a list of results that ...
Béla Fürdőház 's user avatar
2 votes
2 answers
165 views

Hardy space inclusion in the right-half plane

I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a ...
Laurent Lessard's user avatar
1 vote
0 answers
76 views

Periodic tilings in finite type tiling spaces and substitution tiling spaces

I was reviewing the following statement from a survey by E. Arthur Robinson about tilings in $\mathbb{R}^d$ to better understand geometric tiling rather than tilings over symbols. I consider the ...
Keen-ameteur's user avatar
3 votes
1 answer
231 views

Closed subset of unit ball with peculiar connected components

Let $n\geq 2$ and denote by $B\subset \mathbb{R}^n$ the closed unit ball. Does there exist a closed subset $A\subset B$ containing $0\in \mathbb{R}^n$ with the following properties i,ii,iii? i) $\{0\}$...
user_1789's user avatar
  • 722
2 votes
0 answers
99 views

Real analytic periodic function whose critical points are fully denegerated

I have asked this question on MathStackExchange. My question: is there any non-constant real analytic function $f:\mathbb{R}^n\rightarrow\mathbb{R}$ such that, $$\nabla f(x_0)=0 \Rightarrow \nabla^2 f(...
Jianxing's user avatar
7 votes
1 answer
491 views

Non-homeomorphic connected one-dimensional Hausdorff spaces that have continuous bijections between them in both sides

I need to construct an example of two non-homeomorphic connected one-dimensional Hausdorff spaces that have continuous bijections between them in both sides. Spaces should have induced ("good&...
jkjfgk's user avatar
  • 73
8 votes
1 answer
333 views

Example of trickiness of finite lattice representation problem?

I'm trying to come up with a good explanation for my students of why the finite lattice representation problem is difficult. I've already shown that the "greedy approach" to representing the ...
Noah Schweber's user avatar
9 votes
2 answers
668 views

Torsion-free virtually free-by-cyclic groups

Is it known if there are any examples of a finitely generated group $G$ such that: $G$ has a finite index subgroup $H$ which is free-by-cyclic $G$ itself is not free-by-cyclic $G$ is torsion-free ...
HASouza's user avatar
  • 293
4 votes
1 answer
2k views

Examples of convergence in distribution not implying convergence in moments

It is well know that the convergence in distributions does not necessarily imply convergence in expectation, but implies convergence in expectation of bounded continuous functions. Let $\{X_n\}$ be a ...
null's user avatar
  • 227
2 votes
1 answer
161 views

Existence of the special entire Hardy space function with infinitely many zeros in the strip

Question. Does there exist an entire function $h$ satisfying three following assertions: $h$ belongs to the $H^2$ Hardy space in every horizontal upper half-plane; $zh - 1$ belongs to $H^2(\mathbb{C}...
Pavel Gubkin's user avatar
4 votes
2 answers
204 views

Existence of nonzero entire function with restrictions of growth

Question. Is there an entire function $F$ satisfying first two or all three of the following assertions: $F(z)\neq 0$ for all $z\in \mathbb{C}$; $1/F - 1\in H^2(\mathbb{C}_+)$ -- the classical Hardy ...
Pavel Gubkin's user avatar
1 vote
0 answers
179 views

A zoo of derivations

Recall that given a $k$-algebra $A$, a derivation on $A$ is a $k$-linear morphism $d:A\to A$ such that $$d(ab)=d(a)b+ad(b).$$ The use of derivations is of paramount importance in mathematics. I think ...
9 votes
2 answers
682 views

Is there a nonpolynomial $C^\infty$ function $f$ such that $\sup_{x \in \mathbb{R}} \lvert f^{(q)}(x) \rvert \leq (\ln q)^{-q}$ for every $q >1$?

The question is as in the title: Is there a nonpolynomial $C^\infty$ function $f$ on $\mathbb{R}$ such that $\sup_{x \in \mathbb{R}} \lvert f^{(q)}(x) \rvert \leq (\ln q)^{-q}$ for every natural ...
Isaac's user avatar
  • 2,727
0 votes
1 answer
75 views

On the measure of nonconvexity (MNC)

I'm actually working on the measure of nonconvexity and its application. Especially, the Eisenfeld–Lakshmikantham MNC defined - in a Banach space - by: $$\alpha(A)=\sup_{b\in\operatorname{conv}(A)} \...
Motaka's user avatar
  • 291
9 votes
0 answers
195 views

Natural cotransformations and "dual" co/limits

$\DeclareMathOperator{\id}{\mathrm{id}}\DeclareMathOperator{\Hom}{\mathrm{Hom}}\DeclareMathOperator{\UnCoNat}{\mathrm{UnCoNat}}\DeclareMathOperator{\UnNat}{\mathrm{UnNat}}\DeclareMathOperator{\CoNat}{\...
Emily's user avatar
  • 10.3k
2 votes
1 answer
178 views

A stronger version of paracompactness

Given a topological space $(X,\tau)$, recall that a cover $\mathcal{U}$ of $X$ is locally finite if for every point $x\in \mathcal{U}$ has a neighborhood $U$ that intersects finitely many elements of $...
Cla's user avatar
  • 755
4 votes
1 answer
146 views

When does the refinement of a paracompact topology remain paracompact?

Let $(X,\tau)$ be a Hausdorff paracompact space. Let $\tau'$ be the smallest $P$-topology refining $(X,\tau)$, i.e. the topology which has for base the $G_\delta$-subsets of $(X,\tau)$. Is it true ...
Cla's user avatar
  • 755
4 votes
1 answer
198 views

$\ast$-autonomous categories with non-invertible dualizing object?

1. Definition Firstly, recall the following nLab-definition of a $\ast$-autonomous category: A $\ast$-autonomous category is a symmetric closed monoidal category $(C,\otimes,I,\multimap)$ with a ...
Max Demirdilek's user avatar
0 votes
1 answer
122 views

Examples of real-time transcendental number and superlinear-time trancsendental number

Computation model is defined as Hartmanis and Stearns 4, it is well known that Liouvilles constant $$C_L=\sum_{i=1}^{\infty} 10^{-i!}$$ is computable in real time or linear time 1, 5 especially ...
XL _At_Here_There's user avatar
8 votes
1 answer
394 views

Noetherian but not strongly Noetherian

What are some examples of Tate rings $R$ (i.e. Huber rings with with topologically nilpotent units) which are Noetherian but not strongly Noetherian ($R$ is strongly Noetherian iff for all $n \in \...
Dat Minh Ha's user avatar
  • 1,472
2 votes
1 answer
328 views

Are there "pathological convex sets" over ultravalued fields of char 2?

In their book Topological Vector Spaces (2nd ed.) Lawrence Narici and Edward Beckenstein generalise convex sets for TVS over ultravalued field $K$ as $K$-convex sets. The definition goes as following:...
Nik Bren's user avatar
  • 499
4 votes
1 answer
542 views

Novel examples, proofs or results in mathematics from arithmetic billiards

The goal of the post is get a repository of mathematical results, proofs or examples by users of the site, arising from arithmetic billiards in number theory, analysis, geometry,…. Wikipedia has an ...
8 votes
1 answer
257 views

Cartesian monoidal star-autonomous categories

Disclaimer: This is a crosspost (see MathStackexchange). Apologies if cross-posting is frowned upon. However, it seems that on Stackexchange there are not many people familiar with star-autonomous ...
Max Demirdilek's user avatar
13 votes
0 answers
203 views

Examples and counterexamples to Lack's coherence observation

In Lack's A 2-categories companion, he states There are general results asserting that any bicategory is biequivalent to a 2-category, but in fact naturally occurring bicategories tend to be ...
varkor's user avatar
  • 8,675
15 votes
4 answers
6k views

Mathematicians learning from applications to other fields

Once upon a time a speaker at the weekly Applied Mathematics Colloquium at MIT (one of two weekly colloquia in the math department (but the other one is not called "pure")) said researchers ...
7 votes
2 answers
628 views

Existence of nontrivial categories in which every object is atomic

An object $X$ of a cartesian closed category $\mathbf C$ is atomic if $({-})^X \colon \mathbf C \to \mathbf C$ has a right adjoint (hence is also internally tiny). Intuitively, atomic objects are &...
varkor's user avatar
  • 8,675
11 votes
1 answer
326 views

Examples of continua that are contractible but are not locally connected at any point

A continuum is a compact, connected, metrizable space. What are examples of continua that are contractible but nowhere locally connected, meaning that no point has a neighbourhood basis consisting of ...
TopologicalDynamitard's user avatar
11 votes
1 answer
538 views

Is there a closed manifold whose universal cover is $\mathbb{R}^n\setminus\{x_1, \dots, x_k\}$ for some $k > 1$?

There are many closed manifolds with universal cover homotopy equivalent to $\mathbb{R}^n$, they are precisely the closed aspherical manifolds. There are also many closed smooth manifolds with ...
Michael Albanese's user avatar
6 votes
2 answers
416 views

Common/well-known results with natural and/or useful reformulations

$\DeclareMathOperator{\pp}{\mathbb{P}}$My aim here is to have a collection of "natural" not-so-common reformulations/extensions of common/well-known results such that the reformulation/...
5 votes
1 answer
158 views

Finding non-inner derivations of simple $\mathbb Q$-algebras

What's a good example of a simple algebra over a field of characteristic $0$ which has a non-inner derivation but also has the invariant basis number property (IBN)? I'm under the impression that when ...
rschwieb's user avatar
  • 1,593
6 votes
1 answer
156 views

Mañé's example of an attractor with no natural measure

I'm reading Milnor's notes on dynamical systems and in Lecture 3 he gives an example of an attractor with no natural measure, which he attributes to Mañé. I can find no other reference in which this ...
wadsc's user avatar
  • 63
103 votes
17 answers
15k views

Theorems that are essentially impossible to guess by empirical observation

There are many mathematical statements that, despite being supported by a massive amount of data, are currently unproven. A well-known example is the Goldbach conjecture, which has been shown to hold ...
2 votes
1 answer
122 views

Example of maximal multicurve complex

in this paper we have : " On the Teichmüller tower of mapping class groups By Allen Hatcher at Ithaca, Pierre Lochak at Paris and Leila Schneps." Definition. The maximal multicurve complex $...
Usa's user avatar
  • 119
80 votes
22 answers
15k views

How would you have answered Richard Feynman's challenge?

Reading the autobiography of Richard Feynman, I struck upon the following paragraphs, in which Feynman recall when, as a student of the Princeton physics department, he used to challenge the students ...
0 votes
0 answers
64 views

Regular graphs without non-trivial $f$-factor

Question: are there any known examples of $k$-regular graphs that have no regular $f$-faktor, $1\le f\lt k;\ k\ge 3$, resp., can their existence or nonexistence be proved?
Manfred Weis's user avatar
  • 12.6k
7 votes
2 answers
212 views

Examples of 2-categories with multiple interesting proarrow equipment structures

Proarrow equipments (also known as framed bicategories) are identity-on-objects locally fully faithful pseudofunctors $({-})_* \colon \mathcal K \to \mathcal M$ for which every 1-cell $f_*$ in the ...
varkor's user avatar
  • 8,675
3 votes
0 answers
148 views

Bounded derived categories of which smooth projectives possess bounded t-structures whose hearts are categories of modules?

I am interested in $P$ that is smooth and proper over a field and such that the derived category of coherent sheaves $D^b(P)$ possesses a $t$-structure whose heart is the category of finitely ...
Mikhail Bondarko's user avatar

1
2 3 4 5
11