The examples tag has no wiki summary.

**14**

votes

**2**answers

863 views

### A simplicial complex which is not collapsible, but whose barycentric subdivision is

Does anyone know of a simplicial complex which is not collapsible but whose barycentric subdivision is?
Every collapsible complex is necessarily contractible, and subdivision preserves the ...

**72**

votes

**6**answers

7k views

### Mistakes in mathematics, false illusions about conjectures

Since long time ago I have been thinking in two problems that I have not been able to solve. It seems that one of them was recently solved. I have been thinking a lot about the motivation and its ...

**26**

votes

**13**answers

5k 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 ...

**169**

votes

**61**answers

86k 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 ...

**3**

votes

**5**answers

238 views

### Existence of orientation preserving, finite order self homeomorphism on a genus 2 surface without fixed point

Let $M$ be a compact 2-manifold of genus 2. Does there exist an orientation preserving homeomorphism $f:M\to M$, so that $f^n=id$ for some integer $n$, and $f$ doesn't have fixed points?
Using ...

**77**

votes

**42**answers

16k views

### What are the most attractive Turing undecidable problems in mathematics?

What are the most attractive Turing undecidable problems in mathematics?
There are thousands of examples, so please post here only the most attractive, best examples. Some examples already appear on ...

**26**

votes

**14**answers

4k views

### Explicit computations using the Haar measure

This question is somewhat related to my previous one on Grassmanians. The few times I've encountered the Haar measure in the course of my mathematical education, it's always been used in a very ...

**3**

votes

**3**answers

716 views

### An example where GCD depends on the domain

First some notation. Given a domain $R$ and $x,a,b \in R$, I write $x=gcd(a,b)_R$ to mean that $x$ is one gcd of $a$ and $b$ in $R$.
I want to find an example of an GCD-domain $R$, a subdomain $S ...

**11**

votes

**2**answers

361 views

### A sequence of subsets of an infinite group

Is there an infinite group $G$ such that there is not any sequence $(A_n)$ of its subsets such that always
$$A_n=A_n^{-1}, \quad A_{n+1}A_{n+1}\subsetneqq A_n$$
?
link

**4**

votes

**0**answers

143 views

### Examples of unproven but likely true existential sentence (in the sense of incompleteness)

Some examples of universal statements that are unproven but likely true include the Riemann hypothesis (all non-trivial zeros of the zeta function have real part 1/2) and the Goldbach conjecture (all ...

**2**

votes

**0**answers

101 views

### Is there a smooth rationally connected, proper variety $M$ over $\mathbb{C}$ such that c_1(L)([A]) = 1 which is not projective space?

Is there a smooth, rationally connected, projective variety $M$, which is not a projective space and is equipped with an ample line bundle $L$, such that the homology class of the curves $[A]$ which ...

**45**

votes

**33**answers

4k views

### Dimension Leaps

Many mathematical areas have a notion of "dimension", either rigorously or naively, and different dimensions can exhibit wildly different behaviour. Often, the behaviour is similar for "nearby" ...

**0**

votes

**0**answers

71 views

### Examples of functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition

there are examples of lacunary functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition.I want to know more examples of those functions,the more the ...

**13**

votes

**5**answers

2k views

### Locally compact Hausdorff space that is not normal

What is a good example of a locally compact Hausdorff space that is not normal? It seems to be well-known that not all locally compact Hausdorff spaces are normal (and only a weaker version of ...

**3**

votes

**1**answer

125 views

### Mumford-Ramanujam examples in characteristic p [and in Arakelov geometry]

For a compact Riemann surface $B$ of genus $\geq 2$, it is a consequence of the Narasimhan-Seshadri theorem that there exist rank-$2$ vector bundles $E \to B$ of degree zero, all of whose symmetric ...

**1**

vote

**1**answer

146 views

### Examples of nontrivial local systems in Decomposition Theorem

There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that
$$Rf∗IC_X \cong \oplus_a ...

**6**

votes

**2**answers

179 views

### How weird can Modular Tensor Categories be over non-algebraically closed fields?

I am trying to understand better the behaviour and character of modular tensor categories over non-algebraically closed fields. How weird can they be?
The reason I am interested in this is that my ...

**93**

votes

**59**answers

16k 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):
...

**10**

votes

**3**answers

562 views

### Are all vector-space valued functors on sets free?

Let $\mathbf{Set}$ be the category of finite sets and functions between them, and let $\mathbf{Vect}$ be the category of finite-dimensional complex vector spaces and linear transformations between ...

**6**

votes

**16**answers

2k views

### Vector spaces without natural bases

Does anyone know any nice examples of vector spaces without a basis that is in some sense "natural".
To clarify what I mean, suppose we look at $\mathbb{R}^2$. We define $\mathbb{R}^2$ as pairs of ...

**58**

votes

**23**answers

21k 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 ...

**10**

votes

**1**answer

576 views

### Nondifferentiability set of an arbitrary real function

A theorem by Zygmunt Zahorski states that a necessary and sufficient condition for a subset of $\mathbb{R}$ to be the nondifferentiability set of a continuous real function is that it is the union of ...

**5**

votes

**2**answers

176 views

### smooth affine surfaces over algebraically closed fields with trivial l-torsion of the Brauer group

I am looking for examples of smooth affine surfaces over algebraically closed fields with trivial $\ell$-torsion of the Brauer group.
Related questions: Schemes with trivial brauer group and Brauer ...

**2**

votes

**2**answers

210 views

### Example(s) of monoidal symmetric closed category with NNO without infinite coproducts?

The question is in the title, here is my motivation:
$\require{AMScd}$Let $(\mathcal C,\otimes,I)$ be a monoidal symmetric closed category. Then, the tensor product commutes with colimits, and if ...

**45**

votes

**27**answers

4k 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 ...

**2**

votes

**0**answers

221 views

### Closed 4-manifolds with uncountably many differentiable structures

I know that $\mathbb{R}^4$ admits uncountably many differentiable structures and I was wandering what happen if we consider closed 4-manifolds. Are there any closed 4-manifolds with uncountably many ...

**6**

votes

**10**answers

831 views

### Examples of “Unusual” Classifications

When one says "classification" in math, usually one of a handful of examples springs to mind:
-Classification of Finite Simple Groups with 18 infinite families and 26 sporadic examples (assuming one ...

**5**

votes

**0**answers

190 views

### Homeomorphisms of product spaces: an example

In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to ...

**7**

votes

**6**answers

390 views

### Do you have examples of such “transitive” elements?

(I've asked the same question at the MSE, so far with no answers, so I thought I'd try it here as well. If there's some clash with any site rules, please let me know and I'll abide.)
Let $A$ be a set ...

**45**

votes

**28**answers

4k views

### Examples where it's useful to know that a mathematical object belongs to some family of objects

For an expository piece I'm writing, it would be useful to have good examples of the following phenomenon:
(1) ${\cal X}$ is a parameterized family of somethings. (Varieties, schemes, manifolds, ...

**4**

votes

**1**answer

185 views

### Unravelling some hypotheses on a variety

In Le group de Brauer II, Grothendieck states
Proposition 1.4.- Soit $X$ a préschéma noetherien. Supposon que les anneaux hensélisés stricts des anneaux locaux de $X$ soient factoriels, [...] ...

**28**

votes

**5**answers

2k views

### `Naturally occuring' $K(\pi, n)$ spaces, for $n \geq 2$.

[edited!] Given a group $\pi$ and an integer $n>1$, what are examples of Eilenberg-Maclane spaces $K(\pi, n)$ that can be constructed as "known" manifolds? (or if not a manifold, say some space ...

**4**

votes

**3**answers

137 views

### A model with $\kappa$ many automorphism and a rigid element.

The following should be known, but I could not find an example.
Let $\kappa$ be an uncountable cardinal. Find a model $M$ of size $\kappa$ which has $\ge\kappa$ many automorphisms, but for some $m\in ...

**0**

votes

**1**answer

115 views

### Simple but topologizable [closed]

Do you have an example of an infinite simple group with at least 3 distinct group topologies on it?

**11**

votes

**7**answers

2k views

### Simple show cases for the Yoneda lemma

I've been given a very simple motivating and instructive show case for the Yoneda lemma:
Given the category of graphs and a graph object $G$, seen as a quadruple $(V_G,\ E_G,\ S_G:E\rightarrow V,\ ...

**0**

votes

**1**answer

194 views

### Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$

Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...

**53**

votes

**33**answers

8k views

### Experimental Mathematics

I would like to ask about examples where experimentation by computers have led to major mathematical advances.
Motivation
I am aware about a few such cases and I think it will be useful to gather ...

**106**

votes

**75**answers

33k 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.

**32**

votes

**22**answers

6k 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 ...

**5**

votes

**1**answer

181 views

### Measures which exhibit the “uncorrelated implies independent” property

Let $X$ be a topological linear space, and let $X^*$ be its dual space. Suppose that $X$ is complete and Hausdorff, and $X^*$ separates points. Let $Y$ be another such space, and let $f : X \to Y$ be ...

**6**

votes

**3**answers

683 views

### Examples of birational equivalence of a variety and a hypersurface

There's an algebraic geometry theorem (I.4.9 in Hartshorne) that says: any variety of dimension r (over an algebraically closed field) is birationally equivalent to a hypersurface in projective space ...

**1**

vote

**0**answers

98 views

### Examples of languages that are in P and are not in CFL [closed]

Any examples of languages that are in P(polynomial time to recognize it) and are not in CFL(context-free language)?The more the better.

**87**

votes

**53**answers

19k 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 ...

**13**

votes

**7**answers

2k views

### Examples of rational families of abelian varieties.

I'd like to know examples of non-trivial families of abelian varieties over rational bases (e.g. open subschemes of the projective line P^1).
One can generate many examples as Jacobians of rational ...

**117**

votes

**26**answers

14k 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 ...

**12**

votes

**1**answer

195 views

### Nontrivial upper bounds on proof-theoretic ordinals of strong theories: do we have any?

Motivated by Consistency of Analysis (second order arithmetic) and Proof-Theoretic Ordinal of ZFC or Consistent ZFC Extensions?, I have the following question:
Are there any examples of strong ...

**2**

votes

**2**answers

408 views

### Is there a non-trivial example for a 1-homogeneous function satisfying a specific inequality of second order?

Let $\mathbb{R}^n$ be the $n$-dimensional real vector space with Cartesian coordinates $x=(x^1,\ldots, x^n)\in \mathbb{R}^n$. I'm searching for a non-trivial example of a function $A:\mathbb{R}^n ...

**15**

votes

**12**answers

2k views

### What are some fundamental “sources” for the appearance of pi in mathematics?

I thought it might be fun to ask this question as a way of celebrating Pi Day. One way in which people popularize pi is that they say that even though it's defined in terms of properties of a circle, ...

**8**

votes

**3**answers

1k views

### The harmonic (series) beetle: live illustrations of mathematical theorems

In my analysis class I use the following problem to illustrate the divergence
of the harmonic series (consider this as a hint for solving it).
Exercise.
A beetle creeps along a 1-meter infinitely ...

**3**

votes

**3**answers

544 views

### Fibrations with isomorphic fibers, but not Zariski locally trivial

(I posted this same question on MSE. Sorry if it is too elementary.)
I am looking for examples of fibrations $f:X\to Y$ where the fibers are all isomorphic, but $f$ is not Zariski locally trivial. In ...