Examples and counterexamples are great ways to learn about the intricacies of definitions in mathematics. Counterexamples are especially useful in topology and analysis where most things are fairly intuitive, but every now and then one may run into borderline cases where the naive intuition may ...

learn more… | top users | synonyms (2)

2
votes
2answers
77 views

Examples of a cayley table that represents a structure that satisfies all group axioms except associativity

I'm curious if there are any cayley tables on a finite amount of elements that satisfy the axioms of a) closure, b) identity, and c) inverse, but that for at least one triple of elements do not ...
3
votes
0answers
100 views
+100

Understanding an example of a prime-like non-finite additive basis

In this answer on MO, the user Gene S. Kopp gives an example of a relatively "big" set $A\subset \mathbb{N}$ with relatively "small" gaps that fails to be an asymptotic finite basis. I'm having a ...
37
votes
19answers
7k views

Examples of mathematical induction

What are the best examples of mathematical induction available at the secondary-school level---totally elementary---that do not involve expressions of the form $\bullet+\cdots\cdots\cdots+\bullet$ ...
0
votes
2answers
175 views

Isometry of a metric space with proper subset

In Irving Kaplansky's "Set Theory and Metric Spaces", exercise 17 on page 71 asks for an example of a metric space which is isometric to a proper subset of itself. Any infinite discrete space and any ...
4
votes
3answers
585 views

Draw a non-planar graph whose complement is a non-planar graph

I have been teaching myself graph theory. I am stuck at solving this problem on my own. Please provide an example of such a graph. What approach would you take to draw such a graph?
0
votes
1answer
78 views

What is a counterexample that a composition of covering maps not a covering map?

Let $p:X\rightarrow Y$ and $q:Y\rightarrow Z$ be covering maps. What would be an example that $q\circ p:X\rightarrow Z$ is not a covering map? I saw a counterexample here, but it was too complex. Is ...
3
votes
3answers
3k views

How to use stars and bars (combinatorics)

How to use the stars and bars method? Say I want to find number of combinations I can get with $x_1+x_2+x_3+x_4=22$, where $x_i\in\mathbb{N}$. Is this the correct time to apply the method?
19
votes
1answer
401 views

Taking the automorphism group of a group is not functorial.

Once upon a time I proved that there is no functorial 'association' $$F:\ \mathbf{Grp}\ \longrightarrow\ \mathbf{Grp}:\ G\ \longmapsto\ \operatorname{Aut}(G).$$ A few days ago I casually mentioned ...
18
votes
2answers
423 views

If the tensor power $M^{\otimes n} = 0$, is it possible that $M^{\otimes n-1}$ is nonzero?

Let $M$ be a module over a commutative ring $R$. It is possible that $M \otimes M = 0$ if $M$ is nonzero, for example when $R = \mathbb{Z}$ and $M = \mathbb{Q}/ \mathbb{Z}$. What about when higher ...
4
votes
2answers
43 views

Example of a non-polynomial function $f: \mathbb{R} \to \mathbb{R}$ such that $f'(x)$ is negative for $x<0$ and positive for $x \ge 0$.

I have a bunch of polynomial functions example easily (e.g. $x^2$), but have trouble coming up with a non-polynomial function. I was thinking of defining $f(x) = e^{-x}$ for $x<0$ and $f(x) = ...
14
votes
1answer
202 views

There exist $x_{1},x_{2},\cdots,x_{k}$ such two inequality $|x^b_{1}+x^b_{2}+\cdots+x^b_{k}|\ge 1$

This problem is a 2014 Sydney mathematics competition problem (11 grade). It seems difficult to solve. (I previously posted the n=2 case for which André Nicolas and Dan Robertson proposed solutions) ...
7
votes
1answer
93 views

$X$ is connected, $A \subset X$ connected, and $C$ a component of $X\backslash A$. Is $\overline A \cap \overline C \ne \emptyset$?

I'm trying to prove or disprove the following statement: If $X$ is connected, $A \subset X$ is connected, and $C$ a component of $X\backslash A$ then $\overline A \cap \overline C \ne \emptyset$. I ...
2
votes
2answers
31 views

Double complex with exact rows

Let $(K^{p,q},\delta,d)$ be a double complex of modules. We assume that $\delta$ of degree $(1,0)$, $d$ has degree $(0,1)$ and $d$ and $\delta$ commute. Since $d$ and $\delta$ commute, then $\delta$ ...
4
votes
1answer
56 views

Continuous and bounded imply uniform continuity?

I am thinking about this since couple hour. Is a continuous and bounded function $f:\mathbb R\to\mathbb R$ uniform continuous too? I didn't found a counter example and thus I tried to prove this like ...
1
vote
1answer
36 views

Deleting a contractible subspace is the same as deleting a point

Let $X$ be a topological space and $A$ and $B$ are subspaces of $X$. Suppose that $A$ is contractible. I know that taking the quotient does not affect the homotopy type, that is $X/A$ is homotopy ...
6
votes
3answers
3k views

Is a bounded and continuous function uniformly continuous?

$f\colon(-1,1)\rightarrow \mathbb{R}$ is bounded and continuous does it mean that $f$ is uniformly continuous? Well, $f(x)=x\sin(1/x)$ does the job for counterexample? Please help!
3
votes
3answers
215 views

Necessity of completeness of the inner product space in Riesz representation theorem

I wanted to find a counter example to show that the completeness of the inner product space is necessary in Riesz representation theorem. Please give an example of a bounded linear functional $T$ on ...
15
votes
5answers
2k views

Continuous function from $(0, 1]$ onto $(0, 1)$?

Is there any continuous function defined on $(0, 1]$ whose range is $(0, 1)$?
3
votes
1answer
68 views

What are some easy to understand applications of Banach Contraction Principle?

I know that Banach contraction principle guarantees a unique solution to problems of the form $$f(x) = x$$ But for the life of me I cannot understand why this problem is important at all. I don't ...
1
vote
1answer
33 views

Can this statement about winding number generalized?

Definition Let $\alpha$ be a path in $\mathbb{C}\setminus\{z_0\}$. Since $\mathbb{C}\rightarrow \mathbb{C}\setminus \{z_0\}:z\mapsto e^z$ is a covering map, $\alpha$ can be decomposed as ...
46
votes
10answers
1k views

Fake induction proofs

Question: Can you provide an example of a claim where the base case holds but there is a subtle flaw in the inductive step that leads to a fake proof of a clearly erroneous result? [Note: Please do ...
1
vote
1answer
67 views

Sobolev functions counterexample

Let $A=(0,1)^{d}$.Does anyone have a simple example of a funtion in $H_0^1(A)\cap H^2(A)$ that is not in $H^2_0(A)$? Thanks a lot.
0
votes
0answers
19 views

What is an example that Euclidean function varies by a unit?

Let $R$ be a Euclidean domain and $f$ be a Euclidean function on $R$. (Not necessarily submultiplicative) Let $a,b$ be nonzero elements of $R$ such that $a=ub$ where $u$ is a unit of $R$. Is there ...
5
votes
1answer
55 views

Example of a surjective local homeomorphism that is not a covering? [duplicate]

Let $X$ and $Y$ be connected, locally path connected, and Hausdorff topological spaces. Can someone give me an example of a surjective local homeomorphism that is not a covering? I don't think this ...
6
votes
3answers
726 views

Local homeomorphisms which are not covering map?

I am trying to find examples of maps between topological space which are local homeomorphism but not covering maps. Especially, how twisted has to be such a counterexample : can it be a local ...
0
votes
2answers
28 views

Continuous marginal distributions do not imply continuous joint distribution

I already proved the other implication. I need to find an explicit example that shows that if there is some random vector $(X,Y)$ and $X$ and $Y$ have both continuous marginal distributions, then ...
2
votes
2answers
39 views

Existence of an metric or a topology so that every subset is compact

Let $X$ be a infinite set. Is there a metric on $X$ such that every sub set of $X$ is compact? What about a topology on $X$? I think that if we can answer first question then we can answer the ...
4
votes
0answers
43 views

Looking for functions “similar” to the $ \Gamma $ function

According to wikipedia: https://en.wikipedia.org/wiki/Functional_equation The $\Gamma$ - function is the only solution that suffices the following three equations: $$ f(x)={f(x+1) \over x}\tag{$*$} ...
0
votes
0answers
23 views

Examples of ODEs with a 3-dimensional vector-function

I'm testing a program which solves ODEs and I need some examples. Where can I find some examples of ODEs with a 3-dimensional vector-funcion? Likes these two:
2
votes
1answer
225 views

Example to illustrate the necessity for nets?

Given topological spaces $(X,\tau)$, $(Y,\upsilon)$, we say a function $f:X\rightarrow Y$ is continuous iff $\forall$ $U\in \upsilon$, $f^{-1}(U)\in \tau$. Equivalently, we can say that $f$ is ...
1
vote
2answers
156 views

Does there exist a function that is continuous at every rational point and discontinuous at every irrational point? And vice versa?

Actually there are 2 questions, but they are closely related. Does it exist a function that is: Continuous at every rational point and discontinuous at every irrational point? Continuous at ...
2
votes
3answers
99 views

Continuous bijective function between the same topology that is not a homeomorphism.

I know there are many examples when the domain and co-domain do not coincide. Taking the identity on $X$ from $(X,\tau_1)$ to $(X,\tau_2)$ when $\tau_2$ is coarser than $\tau_1$ gives an infinite ...
0
votes
0answers
75 views

non compact closed range operator

Lately I've been reading Abramovich and Aliprantis' book 'An invitation to operator theory', chapter 2 (page 69) on bounded below operators. I would like to find an example of non-compact (and ...
0
votes
0answers
52 views

Is there an example such that $\text{rank}(A^t)\neq \text{rank}(A)$?

Let $R$ be a commutative Noetherian ring and $A\in M_{n\times m}(R)$. If $R$ is a field, then $rank(A^t)=rank(A)$. However, in general Noetherian rings, does $rank(A^t)=rank(A)$ hold? Since the ...
3
votes
1answer
96 views

Is every Hilbert space an $L^2$ space?

Let $H$ be any Hilbert space. Must there exist a measure space $(X,\scr{M},\mu)$ such that we have a Hilbert space isomorphism: $$H\cong L^2(\mu)$$ Thank you
2
votes
1answer
313 views

A semisimple commutative Banach algebra with a non-semisimple quotient

I am looking for an example of a semisimple commutative Banach algebra which admits a non-semisimple quotient. Attempt from the comments: "I take $A$ to be the algebra of all continuously ...
6
votes
0answers
63 views

Does there exist a graph $G$ such that every edge is contained in a unique Hamiltonian circuit, that is not a cycle graph?

Suppose $G$ is an (undirected, simple) finite graph. If $G$ is a cycle graph, then each edge of $G$ belongs to a unique Hamiltonian circuit. Does there exist a non-cycle graph $G$ with this property?
0
votes
1answer
92 views

Practical examples/implementation details for Gauss-Seidel method

I'm having a presentation on Gauss-Seidel iterative method, and although it isn't mandatory , I would like to have some practical examples for this method (a system of linear equations with n>=1000, ...
0
votes
1answer
17 views

Is my example of non equivalent maps correct?

We define two smooth maps $f: (\mathbb R, 0) \to (\mathbb R^2, 0)$ and $g: (\mathbb R, 0) \to (\mathbb R^2, 0)$ to be equivalent if there exist diffeomorphisms $\tau : \mathbb R \to \mathbb R$ and ...
3
votes
1answer
67 views

Reconciling two different definitions of constructible sets

This question is really about sets and topology, but it is motivated from commutative algebra, hence the tag. Setup: Let $X$ be a set and let $\{U_\lambda\}_{\lambda\in\Lambda}\subset 2^X$ be a ...
3
votes
2answers
138 views

completeness of cones in an ordered normed space

Let $(X,\|\cdot\|,\le)$ be a normed, ordered vector space over $\mathbb{R}$ and let $X^+=\lbrace x\in X:x\ge0\rbrace$ denote the (positive) cone in $X$. with a metric $d$ induced by the norm ...
1
vote
3answers
56 views

Discontinuous maps taking compacts to compacts

It's commonly known that in general topology, a continuous map $f$ from a topological space $(X, \tau)$ to another topological space $(Y, \tau')$ will send every compact set to another compact set. ...
2
votes
1answer
29 views

Counterexample to a variation on “The politician theorem”.

The following is a theorem in graph theory that has a nice 'real world' interpretation: Suppose $G$ is a finite simple graph in which any two vertices have precisely one common neighbour. Then ...
3
votes
2answers
454 views

K topology: Examples

Why would the interval $(-3,1)$ be open in the $k$-topology? (I'm using Munkres). Can I have some other examples of intervals in $k$-topology? What exactly does $(a,b)$ $\cup$ $(a,b)-k$ for ...
74
votes
32answers
7k views

What are some conceptualizations that work in mathematics but are not strictly true?

I'm having an argument with someone who thinks it's never justified to teach something that's not strictly correct. I disagree: often, the pedagogically most efficient way to make progress is to ...
5
votes
3answers
852 views

A locally injective but non globally injective function?

A continuous function $f : U \subset \mathbb{R}^n \to \mathbb{R}^n$, is said to be locally injective at $x_0 \in U$ if exist a neighborhood $V \subset U$ of $x_0$ s.t. $f|_V$ is injective. $f$ is said ...
4
votes
1answer
65 views

Non-example for vector space

$V$ is a vector space over a field $F$ if it satisfies the following conditions. $(V,+)$ is an abelian group. $1 \in F $ such that $1.\alpha=\alpha$ for every $\alpha \in V$ ...
3
votes
2answers
255 views

Is projection of a closed set $F\subseteq X\times Y$ always closed?

If we have closed subset $F$ of product $X \times Y$ (product topology) does it mean that $p_1(F)$ (projection on first coordinate) is closed in $X$ and $p_2(F)$ in $Y$ are closed? If not, why not ...
2
votes
0answers
53 views

Can we find an example?

I have this theorem, and i want to know if i can find an expression of the operator $A$ which satisfy this theorem:
5
votes
2answers
357 views

An example for infinite dimensional vector space with Hamel dimension smaller than $\operatorname{card} F$

What will be the example for a vector space(infinite dimensional) over a field where Hamel basis has strictly smaller cardinality than that of field? It is not possible in a Hilbert Space (over R or ...