The tag has no usage guidance.

learn more… | top users | synonyms

8
votes
3answers
532 views

May integration spoil real-analyticity?

Is there an example of a function $f:(a,b)\times(c,d)\to\mathbb{R}$, which is real analytic in its domain, integrable in the second variable, and such that the function $$ g:(a,b)\to\mathbb{R},\qquad ...
2
votes
0answers
31 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 ...
110
votes
56answers
23k views

What are your favorite instructional counterexamples?

Related: question #879, Most interesting mathematics mistake. But the intent of this question is more pedagogical. In many branches of mathematics, it seems to me that a good counterexample can be ...
204
votes
67answers
98k views

Proofs without words

Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results? (One could ask if this is of interest to mathematicians, and I ...
2
votes
1answer
106 views

Examples of (non-normal) unibranched rings?

For a local integral domain $R$ the following are equivalent: a) The integral closure of $R$ in its fraction field (i.e., the normalization of $R$) is again local. b) The henselization of $R$ is ...
136
votes
27answers
16k views

What are some reasonable-sounding statements that are independent of ZFC?

Every now and then, somebody will tell me about a question. When I start thinking about it, they say, "actually, it's undecidable in ZFC." For example, suppose A is an abelian group such that every ...
22
votes
1answer
1k views

Example of 4-manifold with $\pi_1=\mathbb Q$

This might be well known for algebraic topologist. So I am looking for an explicit example of a 4 dimensional manifold with fundamental group isomorphic to the rationals $\mathbb Q$.
4
votes
1answer
312 views

Example of a specific manifold

I want to find a example of a manifold that has positive scalar curvature but is not half conformally flat. Does there exists such manifolds? Thanks.
6
votes
1answer
238 views

Satellite knot example

Can someone provide me with an example of a satellite knot with symmetry group which is neither cyclic nor dihedral?
16
votes
1answer
2k 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 ...
3
votes
1answer
202 views

Example of a triangulable topological manifold which does not admit a PL structure

I know there are some examples of manifolds which don't admit a PL structure (combinatorial triangulation), and that it has been recently proven that in dimension $n\geq5$ there are manifold which are ...
9
votes
2answers
1k views

Good examples of random variables whose image is not a measurable set?

Are their simple/natural examples of real-valued Borel-measurable random variables whose image is not a Borel set? Something that occurs "naturally"? I am teaching Doob's lemma (for two real-valued ...
60
votes
32answers
10k views

What notions are used but not clearly defined in modern mathematics?

"Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless number of possible exceptions." Felix Klein What notions are used but not ...
1
vote
0answers
172 views

system with solutions $\{x-a:0\leqslant a\leqslant z-1\}$ [closed]

What must be $F$ there where $0=F(1,x,0)=F(x-0,x,z)=F(x-1,x,z)=F(x-2,x,z)=F(x-3,x,z)=$ $\dots$ $=f(x-z-1,x,z)=0$? Define $F$ in the domain where a continuous function exists that behaves so for ...
9
votes
1answer
262 views

Non-field example of a commutative, local, dual ring with nilradical $N$ such that $ann(N)\nsubseteq N$

I asked this question on math.stackexchange a month ago with no progress, even after a bounty. I hope to eliminate one if the other receives a satisfactory answer. For an ideal $I\lhd R$ in a ...
23
votes
3answers
2k views

What manifolds are bounded by RP^odd?

Real projective spaces $\mathbb{R}P^n$ have $\mathbb{Z}/2$ cohomology rings $\mathbb{Z}/2[x]/(x^{n+1})$ and total Stiefel-Whitney class $(1+x)^{n+1}$ which is $1$ when $n$ is odd, so it follows that ...
7
votes
5answers
2k views

Is the long line paracompact?

A manifold is usually defined as a second-countable hausdorff topological space which is locally homeomorphic to Rn. My understanding is that the reason "second-countable" is part of the definition is ...
35
votes
22answers
3k views

What are examples of good toy models in mathematics?

This post is community wiki. A comment on another question reminded me of this old post of Terence Tao's about toy models. I really like the idea of using toy models of a difficult object to ...
11
votes
1answer
330 views

What's the role of $H^{p}(\mathbb{R}^{n})$ in modern (harmonic) analysis?

The classical theory of $H^p$,due to it's heavy dependence on the complex function theory(such as Blaschke products), seemed to have an insurmountable obstacle barrying its extension to several ...
6
votes
0answers
101 views

Linear vs smooth actions of finite groups on spheres, euclidean spaces and closed disks

I would like to know examples (with references, if possible) of the following: (1) a finite group $G$ acting effectively and smoothly on a sphere $S^n$ (any $n$) but admitting no effective linear ...
2
votes
1answer
75 views

Images of interval edge coloring

I found out the definition of interval edge colorings, concept put by Kamalian in various papers but could not find a graph depicting an example. Where can I find pictures of explicit examples of ...
22
votes
6answers
2k views

Failure of smoothing theory for topological 4-manifolds

Smoothing theory fails for topological 4-manifolds, in that a smooth structure on a topological 4-manifold $M$ is not equivalent to a vector bundle structure on the tangent microbundle of $M$. Is ...
10
votes
2answers
2k views

what's the idea behind Carleman estimate

A standard Carleman-type estimate is of the form $$ \sum_{|\alpha|<m}{\tau^{2(m-|\alpha|-1)}\int{|D^{\alpha}u|^{2}e^{2\tau\phi}}dx}\leq K\int{|Pu|^{2}e^{2\tau\phi}dx},\quad u\in C_{0}^{\infty} $$ ...
46
votes
45answers
16k views

An example of a beautiful proof that would be accessible at the high school level?

The background of my question comes from an observation that what we teach in schools does not always reflect what we practice. Beauty is part of what drives mathematicians, but we rarely talk about ...
5
votes
0answers
113 views

Example of a torsionfree group satisfying a cohomological condition

Let us call a finitely generated group $G$ cohomologically rich if for each $k \geq 0$, we can find a subgroup $G'$ and a prime $p$ such that $H^k(G';\mathbb F_p) \neq 0$. Examples which come to mind ...
3
votes
2answers
171 views

Examples of TVS with no non-trivial open convex subsets

I give here the classical example of the space $E = L^p([0,1])$ which has no open convex subsets apart from $\emptyset$ and $E$. Consequently, there is no non-trivial continuous linear form on $E$. ...
71
votes
25answers
26k views

What are the most misleading alternate definitions in taught mathematics?

I suppose this question can be interpreted in two ways. It is often the case that two or more equivalent (but not necessarily semantically equivalent) definitions of the same idea/object are used in ...
37
votes
26answers
7k views

Examples of seemingly elementary problems that are hard to solve?

I'm looking for a list of problems such that a) any undergraduate student who took multivariable calculus and linear algebra can understand the statements, (Edit: the definition of understanding here ...
100
votes
59answers
17k views

Jokes in the sense of Littlewood: examples? [closed]

First, let me make it clear that I do not mean jokes of the "abelian grape" variety. I take my cue from the following passage in A Mathematician's Miscellany by J.E. Littlewood (Methuen 1953, p. 79): ...
33
votes
21answers
7k views

Nontrivial question about Fibonacci numbers?

I'm looking for a nontrivial, but not super difficult question concerning Fibonacci numbers. It should be at a level suitable for an undergraduate course. Here is a (not so good) example of the sort ...
2
votes
2answers
121 views

Variation of Hodge structures associated to a hermitian symmetric domain

Let $D$ be an irreducible hermitian symmetric domain. Then there exists a variation of Hodge structures $(h_s)_{s\in D}$ on a vector space $V$ satisfying specific conditions which depend on $D$ such ...
3
votes
2answers
245 views

Example s.t. the unbased loop-space is not $\Omega X \times X$

For a connected pointed CW-complex $X$, let us write (as usual) $\Omega X$ for the space of based loops at $X$. I am looking for an example where the space $\Omega' X$ of all (unbased) loops in $X$ is ...
7
votes
3answers
819 views

Is $\mathbb{A}²$ the universal smooth scheme which is a finite cover of $\mathbb{A}²/μ₂$?

One very handy (counter)example I often think about is the scheme $Spec(k[a,b,c]/(ab-c^2))$ (where $k$ is a field), which you may also know as $Spec(k[x^2,xy,y^2])$, as $\mathbb A^2/\mu_2$, or as the ...
131
votes
132answers
29k views

Fundamental Examples

It is not unusual that a single example or a very few shape an entire mathematical discipline. Can you give examples for such examples? (One example, or few, per post, please) I'd love to learn about ...
62
votes
34answers
6k views

books well-motivated with explicit examples

It is ultimately a matter of personal taste, but I prefer to see a long explicit example, before jumping into the usual definition-theorem path (hopefully I am not the only one here). My problem is ...
5
votes
0answers
140 views

Bialgebras with Hopf restricted 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 ...
120
votes
76answers
39k views

Best online mathematics videos?

I know of two good mathematics videos available online, namely: Sphere inside out (part I and part II) Moebius transformation revealed Do you know of any other good math videos? Share.
0
votes
3answers
1k views

Intuitions/connections/examples for “eigen-*”

There are many concepts in mathematics that begin with the German word "eigen": eigenvector, eigenvalue, eigenspace, eigenstate, eigenfunction, eigensystem etc. (to name just the most important (?) ...
3
votes
3answers
719 views

Does the “continuous locus” of a function have any nice properties?

Suppose f:R→R is a function. Let S={x∈R|f is continuous at x}. Does S have any nice properties? Here are some observations about what S could be: S can be any closed set. For a closed set ...
60
votes
34answers
9k views

Experimental Mathematics

I would like to ask about examples where experimentation by computers have led to major mathematical advances. A new look Now as the question is five years old and there are certainly more examples ...
30
votes
3answers
2k views

Are there pairs of highly connected finite CW-complexes with the same homotopy groups?

Fix an integer n. Can you find two finite CW-complexes X and Y which * are both n connected, * are not homotopy equivalent, yet * $\pi_q X \approx \pi_q Y$ for all $q$. In Are there two ...
7
votes
0answers
668 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 ...
5
votes
3answers
357 views

Need examples of homotopy orbit and fixed points

I am no expert in equivariant homotopy theory. Let's say, I am planing to give a talk on homotopy fixed points and orbits. My audience will be graduate students who are doing algebraic topology or ...
1
vote
1answer
109 views

A Hausdorff atom in lattice of group topologies

Do you have an example of an infinite Hausdorff nonabelian topological group $(G,\mathcal T)$ such that for any nontrivial group topology $\mathcal S$ on $G$ with $\mathcal S\subseteq \mathcal T$ we ...
0
votes
0answers
50 views

kernel lattice example

Could anyone give an example of the following? Suppose that $A \in \mathbb{Z}^{m\times n}$, where $m \leq n^{1-\epsilon}$ for some $\epsilon > 0$. The entries of $A$ have size $poly(n)$, meaning ...
6
votes
2answers
150 views

An example of two cofibrant dg categories whose tensor product is not cofibrant

I have been reading the paper by Toën "The homotopy theory of dg categories and derived Morita theory" where in chapter 4 it is stated that the tensor product of two cofibrant dg categories $C$ and ...
8
votes
1answer
442 views

Can one check formal smoothness using only one-variable Artin rings?

Let $f:X\rightarrow Y$ be a morphism of schemes over a field $k$. Can one check that $f$ is formally smooth using only Artin rings of the form $k^{\prime}\left[t\right]/t^{n}$, where $k^{\prime}$ is ...
6
votes
3answers
643 views

If $\Omega_{X/Y}$ is locally free of rank $\mathrm{dim}\left(X\right)-\mathrm{dim}\left(Y\right)$, is $X\rightarrow Y$ smooth?

Suppose I have a morphism $f:X\rightarrow Y$ such that the relative sheaf of differentials $\Omega_{X/Y}$ is locally free. Does it follow that $f$ is smooth? The answer is no, but for a silly reason. ...
104
votes
81answers
80k views

Do good math jokes exist? [closed]

Have a good joke? Share. I know this is subjective, but the principle "should be of interest to mathematicians" trumps. (I hope.)
6
votes
0answers
172 views

An example of a simple infinite 2-group

I've asked this question before on Mathematics, and they suggested me to ask here (Link). Is there an example of a simple infinite $2$-group? Informations If a $2$-group is Artinian I know that ...