Questions tagged [examples]
For questions requesting examples of a certain structure or phenomenon
555 questions
18
votes
1
answer
606
views
Bialgebras with Hopf restricted (or Sweedler) duals
It is known from the general theory that, given a bialgebra (over a field $k$)
\begin{equation}
\mathcal{B}=(B,\mu,1_B,\Delta,\epsilon)
\end{equation}
the Sweedler's dual $\mathcal{B}^0$ (called also ...
- 718
32
votes
5
answers
4k
views
Some intuition behind the five lemma?
Slightly simplified, the five lemma states that if we have a commutative diagram (in, say, an abelian category)
$$\require{AMScd}
\begin{CD}
A_1 @>>> A_2 @>>> A_3 @>>> A_4 @...
- 41
29
votes
12
answers
6k
views
When does 'positive' imply 'sum of squares'?
Does anyone have examples of when an object is positive, then it has (or does not have) a square root? Or more generally, can be written as a sum of squares?
Example. A positive integer does not ...
- 10.1k
1
vote
2
answers
170
views
Definition and examples of operator-stable distributions
I was trying to understand the basic ideas of the operator-stable distributions. I found the papers by Hudson and Sato. However, unfortunately, I am being unable to understand the mathematical ...
- 128k
10
votes
2
answers
1k
views
Examples of set theory problems which are solved using methods outside of logic
The question is essentially the one in the title.
Question. What are some examples of (major) problems in set theory which are solved using techniques outside of mathematical logic?
- 2,146
1
vote
2
answers
205
views
Isolated periodic trajectories of Hamiltonian systems
Is there any example of an autonomous Hamiltonian system with a periodic trajectory isolated in the whole phase space? The Poincar\'e map of such a trajectory within its energy level should be very ...
- 163
24
votes
15
answers
5k
views
Applications of connectedness
In an «advanced calculus» course, I am talking tomorrow about connectedness (in the context of metric spaces, including notably the real line).
What are nice examples of applications of the idea of ...
CommunityBot
- 1
-1
votes
1
answer
149
views
How to choose compactly supported smooth $h$ so $h^2(x)+ h^2(x-1)=1$ for all $x\in [0,1],$ and $\int_{-3/4}^{3/4} |h(x)|^2 dx =3/2$? [closed]
It is known that we may choose smooth $f:\mathbb R \to [0,1]$ such that $f(x)=1$ if $x\geq \frac{3}{4} $ and $f(x)=0$ if $x\leq -\frac{3}{4}+1.$
Define $h(x)= \sin (\frac{\pi}{2} f(x+1))$ if $x\...
- 305
30
votes
0
answers
1k
views
Is there a field $F$ which is isomorphic to $F(X,Y)$ but not to $F(X)$?
Is there a field $F$ such that $F \cong F(X,Y)$ as fields, but $F \not \cong F(X)$ as fields?
I know only an example of a field $F$ such that $F$ isomorphic to $F(x,y)$ : this is something like $F=k(...
- 4,713
24
votes
7
answers
3k
views
Which group does not satisfy the Tits alternative?
A group is said to satisfy the Tits alternative if every finitely generated subgroup of $G$ is either virtually solvable or contains a nonabelian free subgroup.
Tits proved this for linear groups, ...
- 4,713
8
votes
2
answers
1k
views
Example for an integral, rectifiable varifold with unbounded first variation
I'm just looking for an example of an integral, rectifiable varifold, which has no locally bounded first variation.
Recapitulation
for every $m$-rectifiable varifold $\mu$ exists a $m$-rectifiable ...
2
votes
1
answer
84
views
How to choose function $\sum_{m\in \mathbb Z} (-1)^m f(x+m) f(x-m+n)=0$?
Can we expect to choose a function $f:\mathbb R \to \mathbb R$ (nonzero compactly supported) so that
$\sum_{m\in \mathbb Z} (-1)^m f(x+m) f(x-m+n)=0$ for all $x\in \mathbb R$ and $n\in \mathbb Z$?...
- 39.1k
47
votes
3
answers
7k
views
Clearing misconceptions: Defining "is a model of ZFC" in ZFC
There is often a lot of confusion surrounding the differences between relativizing individual formulas to models and the expression of "is a model of" through coding the satisfaction relation with ...
- 236k
8
votes
2
answers
272
views
Roller's problem on median groups
At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks
A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...
- 8,401
6
votes
2
answers
295
views
Combinatorial proof that some model categories are monoidal/enriched?
I'm looking for examples of proofs that some Quillen model categories are monoidal, or enriched over an other model category, which are based on explicit computation of the "pushout product" of the ...
- 7,656
37
votes
4
answers
12k
views
Finite extension of fields with no primitive element
What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...
- 356
46
votes
15
answers
11k
views
Strong induction without a base case
Strong induction proves a sequence of statements $P(0)$, $P(1)$, $\ldots$ by proving the implication
"If $P(m)$ is true for all nonnegative integers $m$ less than $n$, then $P(n)$ is true."
for ...
- 8,842
9
votes
1
answer
737
views
Example of an abelian category with enough projectives and injectives which are not dual
For trying to understand how general a certain theorem is, I'm looking for an example of an essentially small abelian category which has enough projectives and enough injectives, but whose category of ...
- 2,450
4
votes
0
answers
273
views
What are some interesting examples of cooperative games that can be naturally generalised to a stochastic version of it?
In classical, deterministic cooperative game theory, there are $N$ players that can form $2^{N}$ coalitions. Each of these coalitions is assigned a value by means of the characteristic function $v ( \...
- 4,829
10
votes
1
answer
246
views
Naturally occurring, non-amenable Zappa-Szep products of discrete amenable groups?
We say $G$ is the Zappa-Szep product of two subgroups $K$ and $P$ if $K\cap P = \{e\}$ and the function $K\times P \to G$, $(k,p)\mapsto kp$, is bijective.
The Iwasawa decomposition shows that we can ...
- 11.6k
7
votes
1
answer
470
views
Example of a smooth family of projective surfaces with non-vanishing integrals of Todd classes
Motivation:
Let $\pi\colon S \rightarrow B$ be smooth projective morphism of relative dimension 2 over a smooth projective scheme $B$. If the stucture sheaves of the fibres do not have higher ...
- 4,111
33
votes
3
answers
3k
views
Arithmetic geometry examples
(This is inspired by Algebraic geometry examples.)
I want to collect here (counter)examples in arithmetic geometry.
Curves violating the Hasse principle: The Selmer curve $3X^3 + 4Y^3 + 5Z^3 = 0$. ...
- 1,720
3
votes
1
answer
199
views
How could I see quickly that this space is not normal?
Recently, I read a paper in which the author construct a space $X$ which is dense in a $\sigma$-product $S$ of closed unit intervals. The space $X$ is CCC (denotes countable chain condition); it is ...
- 41.9k
1
vote
1
answer
141
views
Let $X$ be a Lindelof, perfectly normal, $\sigma$-space. Must $X$ be separable?
A space $X$ is a $\sigma$-space if $X$ has a $\sigma$-discrete network.
Let $X$ be a Lindelof, perfectly normal, $\sigma$-space.
Must $X$ be separable?
Thanks very much.
- 41.9k
9
votes
0
answers
1k
views
"A theory of generalized Donaldson-Thomas invariants" by Joyce & Song
Is anyone else working through this paper: A theory of generalized Donaldson-Thomas invariants, by Dominic Joyce, Yinan Song? I am trying to verifying example 6.2 (m=2 for simplicity) using only the ...
- 13.6k
14
votes
0
answers
709
views
Is Hironaka's example the only known deformation of Kähler manifolds with non-Kähler central fibre?
A well-known example in the deformation theory of compact complex manifolds is the one given by Hironaka in his 1962 paper An Example of a Non-Kählerian Complex-Analytic Deformation of Kählerian ...
CommunityBot
- 1
2
votes
2
answers
2k
views
Example of a function that behaves like another function
I need a function $f(x)$ with the following properties -
It should be monotonically non-decreasing.
For $x \geq 1$, $x + \frac{1}{x} - f(x) < \epsilon$ where $\epsilon$ is an extremely small ...
- 4,713
19
votes
3
answers
2k
views
For each $n$: show there is a genus $1$ curve over some field $k$ with no points of degree less than $n$, (simple argument / best reference)?
What is the simplest example (or perhaps best reference) for the fact that there are genus $1$ curves (over a field of your choice --- or if you wish, over $\mathbb{Q}$, to make it more exciting) with ...
- 4,111
4
votes
2
answers
292
views
more examples of non-weakly Lindelöf spaces
A space $X$ is called weakly-Lindelöf if every open cover $\mathcal{U}$ has a countable subcover $\mathcal{U'} \subseteq \mathcal{U}$ such that $\cup \mathcal{U}'$ is dense in $X$.
This class seems ...
- 4,413
3
votes
0
answers
241
views
Applications of logic in theoretical and practical Computer Science [closed]
Can anyone suggest theoretical and/or practical applications of logic (modal, dynamic, Lukasiewici etc.) in Computer Science (like Markov Chains for linear algebra), as well as some open-source books ...
- 139
1
vote
2
answers
175
views
Non-homogeneous space $X$ such that $X\cong X\setminus \{x\}$ for all $x\in X$
What is an example of a topological space $(X,\tau)$ with the properties that
$X\cong X\setminus \{x\}$ for all $x\in X$, and
$(X,\tau)$ is not topologically homogeneous
?
- 4,713
31
votes
14
answers
4k
views
An example of a proof that is explanatory but not beautiful? (or vice versa)
This question has a philosophical bent, but hopefully it will evoke straightforward, mathematical answers that would be appropriate for this list (like my earlier question about beautiful proofs ...
- 13.6k
15
votes
3
answers
6k
views
Concavity of $\det^{1/n}$ over $HPD_n$.
One of my beloved theorems in matrix analysis is the fact that the map $H\mapsto (\det H)^{1/n}$, defined over the convex cone $HPD_n$ of Hermitian positive definite matrices, is concave. This is ...
- 52.3k
11
votes
1
answer
676
views
Periodic function $f$ for which $f(x^2)$ is periodic too
There is the following question which was asked multiple times on Math.SE (e.g. here and here) without any final result:
Question: Is there a periodic function $f:\Bbb R \to\Bbb R$ of smallest ...
- 1,593
2
votes
0
answers
152
views
An example of a finite group with some specific permutable subgroups
The following question is about finite groups.
Let $G$ be a finite group and let $H, K \leqslant G$. We say that $H$ permutes with $K$ if $HK = KH$ and in this case $HK \leqslant G$.
The Symbol $\pi ...
- 141
0
votes
1
answer
82
views
Topology generated by complete and incomplete uniformities [closed]
Does there exist a topology which can be induced simultaneously by a complete and an incomplete uniformity?
- 88
17
votes
2
answers
1k
views
Examples of triality in mathematics
There are tons of interesting examples of duality in mathematics (Poincaré duality, Verdier duality, Stone duality, s-duality, Tannaka duality, Koszul duality, Spanier-Whitehead duality ... ). What ...
- 12.3k
2
votes
0
answers
195
views
Right adjoint completions
Forgive me if this question is not well thought out. I don't know how else to ask it.
The nlab page on completion gives some examples of completions which are left adjoints. These completions are "...
- 10.5k
36
votes
17
answers
6k
views
Canonical examples of algebraic structures
Please list some examples of common examples of algebraic structures. I was thinking answers of the following form.
"When I read about a [insert structure here], I immediately think of [example]."
...
- 44.4k
43
votes
5
answers
3k
views
Explicit elements of $K((x))((y)) \setminus K((x,y))$
In an answer to the popular question on common false beliefs in mathematics
Examples of common false beliefs in mathematics
I mentioned that many people conflate the two different kinds of formal ...
- 5,169
45
votes
13
answers
9k
views
Motivating the de Rham theorem
In grad school I learned the isomorphism between de Rham cohomology and singular cohomology from a course that used Warner's book Foundations of Differentiable Manifolds and Lie Groups. One thing ...
- 6,025
5
votes
0
answers
232
views
In search for examples concerning pushforward of nef divisors and lc-trivial fibrations
My question is motivated by ideas around the moduli b-divisor of an lc-trivial fibration (see for instance the following paper by Ambro https://arxiv.org/pdf/math/0308143.pdf).
In such a setup, one ...
- 625
58
votes
16
answers
14k
views
Examples of using physical intuition to solve math problems
For the purposes of this question let a "physical intuition" be an intuition
that is derived from your everyday experience of physical reality. Your
intuitions about how the spin of a ball affects ...
- 2,286
63
votes
7
answers
8k
views
Theorems demoted back to conjectures
Many mathematicians know the Four Color Theorem and its history: there were two alleged proofs in 1879 and 1880 both of which stood unchallenged for 11 years before flaws were discovered.
I am ...
- 113
2
votes
3
answers
627
views
For every monotonically-decreasing non-negative function $ f $, does there exist a function $ g $ so that $ f g $ is integrable? [closed]
Let $ f $ be a monotonically-decreasing non-negative function satisfying $ \displaystyle \lim_{x \to \infty} f(x) = 0 $. Is it true that the following claim holds?
Claim: There exists a function $ ...
- 12.9k
17
votes
4
answers
3k
views
Folding by Automorphisms
Background reading: John Stembridge's webpage.
The idea is that when you want to prove a theorem for all root systems, sometimes it suffices to prove the result for the simply laced case, and then ...
CommunityBot
- 1
1
vote
0
answers
53
views
Is it possible that a convex cone and its closure both induce vector lattices?
Given a convex cone $P\subset X$ where $X$ is a $K$-vector space, $K=\mathbb{R}\text{ or }\mathbb{C}$ is a field.
Suppose that $P$ satisfies positive element stipulations.
(1) $X=P-P$.
(2) $P\cap-P=...
- 8,071
11
votes
1
answer
441
views
Example of Banach spaces with non-unique uniform structures
While it is known that compact Hausdorff spaces admit unique uniform structures, it is further shown by Johson and Lindenstrauss's result that Banach spaces are characterized by their uniform ...
- 31.5k
25
votes
1
answer
5k
views
Example of fiber bundle that is not a fibration
It is well-known that a fiber bundle under some mild hypothesis is a fibration, but I don't know any examples of fiber bundles which aren't (Hurewicz) fibrations (they should be weird examples, I ...
- 79
4
votes
1
answer
182
views
Semi-metrizable spaces with countable chain condition
Note that $X$ is semi-metrisable iff $X$ is first countable and semi-stratifiable.
Definition
A topological space $(X,\tau)$ is called semi-metric if there exists a function $g:\omega\times X\to\tau$...
- 41.9k