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)

8
votes
8answers
275 views

An example of a mapping $\eta\colon\mathbb{N}\to\mathbb{N}$ such that $\eta(x)=n$ has infinitely many solutions for each $n\in\mathbb{N}$

Suppose I have the mapping $\eta\colon\mathbb{N}\to\mathbb{N}$ such that for each $n\in\mathbb{N}$ the equation $\eta(x)=n$ has infinitely many solutions. I saw this question which is basically the ...
3
votes
1answer
90 views

The homotopy category of complexes

I have some trouble in proving Exercise A3.51 of Eisenbud's book "Commutative Algebra with a view toward Algebraic Geometry", pag. 688. The solution is sketched at pag. 754 at the end of the book. The ...
1
vote
1answer
49 views

Locally Hamiltonian vector fields

Consider the following definitions (taken from [1]) Definition. Let $E$ be a Banach space and $B: E \times E \to \mathbb R$ a continuous bilinear mapping. Then $B$ induces a map $B^\natural: E \to ...
2
votes
2answers
27 views

Does one of these conditions on a sequence imply the other one?

Let ${(r_n)}_{n \geq 0}$ be a sequence of integers $\geq 2$. Set $q_n=\prod_{i=0}^{n-1} r_i$ (agreeing with $q_0=1$). I want to know whether one of these two conditions implies the other one (I think ...
1
vote
2answers
65 views

Looking for examples of finite loops and monoids

I am looking for examples of (small) finite loops and monoids that are not groups for demonstrating what happens if you omit some of the group axioms. Does anyone know some ressources for this? I ...
6
votes
4answers
2k views

Examples of faithfully flat modules

I'm studying some results about flatness and faithful flatness and I'd like to keep in my mind some examples about faithfully flat modules. In general, free modules are the typical examples. ...
4
votes
1answer
72 views

Is it true that the intersection of a sequence $K_1 \supset K_2 \supset K_3 \dotsm$ of connected subsets of $\mathbb{R}^2$ is also connected?

I have got one counterexample for this : Consider the family {D} of closed discs centered at zero having radius $1+1/n$, i.e. disc $D_1$ has radius $1+1=2$, $D_2$ has radius $1+1/2=1.5$, and so on. ...
1
vote
0answers
33 views

Is imaged of a Polish Hausdorff space under an injecitve map always Hausdorff?

I have a question about Hausdorff topological space. Question: Let $X,Y$ be topological spaces. If $X$ is a Polish space (i.e. $X$ is a separable and completely metrizable space.) and $Y=f(X)$ ...
3
votes
4answers
644 views

Continuous image of a locally connected space which is not locally connected

The question is pretty much in the title, I'm looking for an example of a locally connected space and continuous mapping such that the image is not locally connected. Thanks! EDIT: Corrected the ...
5
votes
2answers
186 views

The composition of a nowhere-differentiable function with a differentiable function.

This is actually Problem $ 17 $ from Chapter $ 10 $ of the Fourth Edition of Michael Spivak’s Calculus. The statement is quite simple, but I have not had any success in finding an example. Here is the ...
26
votes
17answers
1k views

Accidents of small $n$

In studying mathematics, I sometimes come across examples of general facts that hold for all $n$ greater than some small number. One that comes to mind is the Abel–Ruffini theorem, which states that ...
3
votes
1answer
154 views

Counterexamples to the Matrix norm AM-GM inequality?

I am new here and this my first question, I hope I am being as clear as possible and apologize in advance for any misunderstandings. I am researching the Arithmetic-Geometric Mean (AM-GM) inequality ...
1
vote
0answers
36 views

Simple examples of fractional ideals

Let $K$ be the quotient field of an integral domain $R$. A fractional ideal $I$ is a subset of $K$ not $\{0\}$, for which a $0 \neq r \in R$ exists so that $r I \subseteq R$ is an ideal in $R$. ...
1
vote
1answer
47 views

How differentiable is the function $g(x) = \sum_n 2^{-n} f(x-r_n)$ where $f(x)=x^2 \sin\frac1{x}$?

This is an auxiliary enquiry (something like it may well be already discussed on MSE, but I haven't found it) resulting from a feeling of unease provoked by the question of this post. Taking the ...
2
votes
2answers
58 views

Cancellative Abelian Monoids

Is there an example of cancellative Abelian monoid $M$ in which we may find two elements $x$ and $y$ such that they have a least common multiple but not a greatest common divisor?
1
vote
1answer
41 views

Prove by counterexample that $\gamma$ and $\delta$ are not necessarily unique

Assume $\mathbb Q[\sqrt{d}]$ is a Euclidean Field and $\alpha$, $\beta$ are two quadratic integers in $\mathbb Q[\sqrt{d}]$, so that there exists integers $\gamma$ and $\delta$ in $\mathbb ...
9
votes
3answers
314 views

Finding a pair of functions with properties

I need to find a pair of functions $f$, $g$ such that $f$ is not differentiable at $x = 0$ $g$ is not differentiable at $f(0)$ $g \circ f$ is differentiable at $x = 0$ I've tried a lot of ...
3
votes
1answer
41 views

Continuity of third derivative in extremum test

Consider the following standard real analysis textbook theorem: Let $I$ be a perfect interval, $f\colon I \to \mathbb{R}$ be $C^3$ (i.e. three times differentiable and $f'''$ continuous). If $x_0 ...
1
vote
1answer
59 views

Does an open map of the real line have to be one to one?

Is it true or not that open map $f:\mathbb{R} \rightarrow \mathbb{R}$ is a one one map? If it is one one explain how it is one one.
1
vote
2answers
45 views

An example of an ideal of order $12$

Provide an example of an ideal in $R=\mathbb{Z}_6\times\mathbb{Z}_{10}$ that has order $12$, and indicate whether the ideal is a principal ideal (if it is, then identify the generator for the ...
2
votes
1answer
66 views

What would be an example of free module such that cardinality of linearly independent set is greater than the rank?

Let $R$ be a commutative ring and $M$ be a free $R$-module. Since $R$ is commutative, $R$ has the IBN property, hence the rank of $M$ is uniquely well-defined. So set $n:=\mathrm{rank}(M)$. Let ...
5
votes
0answers
105 views

Request for counter examples in group theory

I am looking for books, papers, or even webpages, that have collected many counter examples in group theory (which, I guess, are just examples in group theory). I am particularly interested in ...
2
votes
4answers
384 views

Example of an associative binary operation, without identities or inverses.

In essence, I am looking for an example of a semigroup or a semicategory (closure is not that important, but it is useful) that is NOT a monoid or category. Hopefully, there is a neat and ...
39
votes
10answers
8k views

Examples of finite nonabelian groups.

Can anybody provide some examples of finite nonabelian groups which are not symmetric groups or dihedral groups?
0
votes
0answers
46 views

Hahn-Banach Theorem for finite dimensional vector spaces

I am studying the Hahn-Banach Theorem but I'm having a hard time following some of the examples presented in my notes, so I would like to first study some small examples which help me to get some ...
4
votes
0answers
39 views

Prove that the Weierstrass-type function is nowhere differentiable

Given $0<\alpha\leq1$. Show that the function $$f(x)=\sum_{j=1}^\infty 2^{-j\alpha}\sin(2^jx)$$ is nowhere differentiable. I have solved the case $x=0$. Taking $t_l=2^{-l-1}\pi$, then ...
31
votes
2answers
2k views

Is the axiom of choice really all that important?

According to this book: The Axiom of Choice is the most controversial axiom in the entire history of mathematics. Yet it remains a crucial assumption not only in set theory but equally in modern ...
0
votes
0answers
15 views

Non homeomorphic spaces with same homology groups [duplicate]

Is it possible for two spaces X and Y to have the same homology groups with X not homeomorhpic to Y.
1
vote
2answers
53 views

a discontinuous function the square of which is continuous

give an example of a discontinuous function the square of which is continuous. The domain is $[0,1]$. I tried to use the indicator function of rationals, but its square is not continuous. EDIT:I am ...
10
votes
1answer
91 views

If all the numbers $(1^\alpha,\,2^\alpha,\,3^\alpha,\,\dotsc)$ are integer, then $\alpha$ is an integer.

A theorem of Siegel asserts that If $\beta>0$ and $2^\beta,\,3^\beta,\,5^\beta$ are integers, then $\beta$ is an integer. The following result is a beautiful consequence of this theorem ...
0
votes
1answer
15 views

Polynomial in $\mathbb{Z}_2[x]$ that is reducible but has no roots a prime $p$ for which $x+10$ divides $x^4+x^3+x+1$ in $\mathbb{Z}_p[x]$

First, I am suppose to find a prime $p\geq 4$ where $x+10$ divides $x^4+x^3+x+1$ in $\mathbb{Z}_p[x]$. Second, I am supposed to find a fifth degree polynomial in $\mathbb{Z}_2[x]$ that is reducible ...
2
votes
1answer
35 views

Integral domains examples

I am supposed to give an example of 1) an infinite integral domain of characteristic $5$, and 2) an integral domain which is not a field. Respectively, examples I chose were $\mathbb{Z}_5$ and ...
1
vote
1answer
32 views
2
votes
1answer
45 views

What are other examples of complex associative operators besides, x + y +rxy, rxy, and x + y + 1/r?

I have been having fun (and frustration) in finding complex associative operators over the complex numbers. So far, I have found the 3 listed in the title (r is a constant), and also know about ...
4
votes
1answer
302 views

An explicit example of a differentiable function taking rational values at rational points but whose derivative is irrational at rational points

Construct an example of a differentiable function such that $$ \forall r \in {\Bbb Q}\quad f(r) \in {\Bbb Q}\text{ but } f'(r) \notin {\Bbb Q} $$ this example is not trivial, in a paper they ...
1
vote
0answers
39 views

Difficult examples of invertible, differentiable functions

Give an example of: 1)$f:\mathbb R^2 \to \mathbb R^2$ such that $f$ is invertible in some neighbourhood of $x_0$ (that is $f$ is locally invertible) but $|Jf(x)|=0$ (jacobian determinant) $\forall x$ ...
2
votes
1answer
86 views

Blow-up toric varieties.

I have to take a talk of an hour and I have to talk about blow-up of toric varieties. Can you suggest me some interesting examples that I can present? How can I find a good reference for the theory ...
7
votes
1answer
122 views

Example of continuous function whose Fourier series doesn't converge on an uncountable dense set.

According to a well-known theorem (Theorem 5.12 in Rudin's Real and Complex Analysis), there is a dense $G_\delta$ set of continuous periodic functions $f:\mathbb{R}\to\mathbb{C}$ such that the ...
1
vote
2answers
53 views

What is the example of a not almost convergent sequence but whose Cesàro means converge?

It seems to me a sequence that is almost convergent implies that its Cesàro means converges but not vice versa. What is the example that a not almost convergent sequence whose Cesàro means converge. ...
0
votes
3answers
57 views

What is a counterexample to this one?

Let $R$ be a commutative ring and $A\in M_{n\times m}(R)$ where $n\neq m$. What is an example such that $\det(AA^t)\neq \det(A^tA)$? Indeed, I think it's true. If this is true, how do I prove this?
5
votes
0answers
41 views

Find $f:C\to\mathbb{R}^2$ continuous and bijective but not open, $C\subset\mathbb{R}$ is closed and connected

Are there a closed connected subspace $C$ of $\mathbb{R}^2$ and a continuous, bijective function $f:C\to\mathbb{R}^2$ that is not open? If we remove the condition for $C$ to be connected, we have ...
4
votes
1answer
48 views

Zero-dimensional but not Hausdorff

Let's call a space zero-dimensional if it has a basis of clopen sets, and is $T_0$. Is there a zero-dimensional space that is not Hausdorff?
4
votes
4answers
578 views

How to come up with a counter example in linear algebra

This came up in a problem I was working on. Problem:Let $V$ be an $n$ dimensional vector space over a field $F$. Let $T:V\rightarrow V$ be a linear operator and let $W$ be a $T$ invariant subspace of ...
0
votes
3answers
101 views

Graph connected does not imply $f$ is continuous [closed]

Show an example of a function $\newcommand{\R}{\mathbb{R}} f: \R \times \R\to \R$ such that $f$ is not continuous, but its graph $$ \Gamma_f := \left\{\bigl((x, y), f(x, y)\bigr) \mid \text{$(x, y)$ ...
1
vote
0answers
48 views

Normal space is compact

I know that a compact Hausdorff space implies Normal, but does the converse holds? I.e. If a space is normal, it is compact and Haudorff. (Although $T_4$ imlicitly implies $T_2$)
12
votes
2answers
469 views

An example of a space which fails to be compactly generated

Does anyone know of an example of a topological space which is not compactly generated? I am using the definition in May's book "A Concise Course in Algebraic Topology." The definition is that a space ...
1
vote
1answer
66 views

Spaces in which “$A \cap K$ is closed for all compact $K$” implies “$A$ is closed.”

Let $X$ denote a topological space. For any $A \subseteq X$, consider two possible conditions on $A$. $A$ is closed $A \cap K$ is closed, for all compact $K \subseteq X$. If $X$ is Hausdorff, then ...
196
votes
28answers
18k views

Nice examples of groups which are not obviously groups

I am searching for some groups, where it is not so obvious that they are groups. In the lectures script there are only examples like $\mathbb{Z}$ under addition and other things like that. I ...
0
votes
1answer
53 views

Non-standard examples of Distributions

Can somebody point me to examples of distributions which are not sums of delta functions or derivatives thereof. Also of course not integrals with local integrable functions. Additional: is there a ...
0
votes
1answer
14 views

What is an example of $E/F,L/E$ are normal but $L/F$ is not. [duplicate]

Let $E/F,L/E$ be normal field extensions. What would be an example such that $L/F$ is not normal?