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
1answer
56 views

Nowhere differentiability of Weierstrass function

It's again from Tao's book. Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be the function $$f:= \sum_{n=1}^\infty 4^{-n} \sin(8^n\pi x)$$ Show that for every 8-dyadic interval ...
7
votes
3answers
263 views

What's a good motivating example for the concept of a slice category?

What nice example can one give a beginner to really motivate the idea of a slice category, before they've met the more general notion of a comma category? There's the toy example of a poset category ...
2
votes
1answer
27 views

Does such a finite monoid exist?

Does there exist a finite monoid $M$ such that for some $x \in M,$ the following hold? $x$ cancels on both the left and the right: $$\frac{ax=bx}{a=b}\qquad \frac{xa=xb}{a=b}$$ $x$ has no two-sided ...
2
votes
2answers
32 views

Example of a normal extension.

Can you give an example of a Normal extension which is not a splitting field of some polynomial.? I know that splitting field of a polynomial is always a normal extension but i am looking for the ...
1
vote
2answers
65 views

Finding a function $\mathbb{N} \to \mathbb{N}$ that is surjective but not injective.

The mapping is supposed to be from $\mathbb{N}$ to $\mathbb{N}$. I'm still trying to understand if this is possible, I mean if it was from $\mathbb{R}$ to $\mathbb{N}$, I guess $x^2$ would work.
1
vote
1answer
30 views

Question on abstract algebra about invertiblity?

Let $(G,*)$ be a group. Could anyone give me an example $a,b\in G$ such that $$a*b=e ~ and ~ b*a\neq e $$ Where e is the identity element. I would appreciate any help. Thanks in advance!
1
vote
1answer
31 views

Visualize and define a vector space without dot / inner product

I'm trying to rebase my know how in linear algebra, restart from scratch to get a more formal and useful set of definitions to help me with computer programming stuff . One of the first concepts is a ...
2
votes
6answers
133 views

What would be an example of a magma such that $x\cdot(x\cdot x)\neq (x\cdot x)\cdot x$?

Let $(M,\cdot)$ be a non-associative magma. What would be an example of $M$ such that there exists $x\in M$ such that $x\cdot(x\cdot x)\neq (x\cdot x)\cdot x$?
2
votes
0answers
48 views

Embedding vs embedding as a closed subset

A version of Whitney's Theorem state that any $n-$dimensional manifold can be embedded in $\mathbb{R}^{2n+1}$ as a closed subset. Is there an example of $n-$manifold which can be embedded in ...
1
vote
1answer
128 views

An abelian Banach algebra without characters

Can one give an example of an abelian Banach algebra with empty character space? Such algebra must be necessarily non-unital. I couldn't find any examples of such algebras. Thanks!
0
votes
1answer
48 views

Finding a counterexample: If $f=g^2$ and $f$ is differentiable on $[a,b]$, then $g$ is differentiable on $(a,b)$.

Suppose $f,g:[a,b]\to \mathbb R$. Provide a counterexample: If $f=g^2$ and $f$ is differentiable on $[a,b]$, then $g$ is differentiable on $(a,b)$. I've been attempting to find a counterexample by ...
1
vote
1answer
52 views

Counterexample of “the product of open subsets is open in a topological ring”?

Given a topological ring $R$ and $U,V$ open subsets, we can show that $U+V$ is an open subset due to the fact that $x\mapsto x+y$ is a homeomorphism for every $y \in R$. Since, in general, $R$ is not ...
1
vote
0answers
28 views

Is the conjugacy map between two distinct circle homeomorphisms unique?

Suppose $f,g,h_1,h_2$ are circle homeomorphisms with $f≠g$ and $fh_i = h_ig$ for $i=1,2$. Does it follow that $h_1 = h_2$? I restrict $f≠ g$ because I noticed that if $$f(x) := g(x) := R_\alpha(x) ...
6
votes
1answer
72 views

Serre fibrations vs. Hurewicz fibrations

What is an example of a Serre fibration that is not a Hurewicz fibration?
2
votes
2answers
120 views

Introductory example(s) of a functor that is full but not faithful

What is your favourite example to offer real beginners of a functor which is full but not faithful?
2
votes
1answer
55 views

On convergence a.e and convergence measure

I have a question. First, I know that convergence in measure of a sequence of functions $f_n$ is different than convergence a.e., wich means there are sequences that converge in measure but not a.e. ...
0
votes
1answer
46 views

A function $f$ such that the limit of $f(x^2)$ exists but not $f(x)$.

I want to show a function $f$ such that $\displaystyle\lim_{x\to x_0}f(x^2)\in\mathbb{R}$ but $\displaystyle\lim_{x\to x_0}f(x)$ doesn't exist. I only need a suggest of such a function $f$. I can't ...
0
votes
0answers
17 views

Quadratic stability linear time varying system

Consider the linear time-varying system $$ \dot{x} = A(t) x, $$ where $x \in \mathbb{R}^n$ and $A: [0,+\infty) \rightarrow \mathbb{R}^{n\times n}$ is continuous. It is known (see for instance, [1, ...
1
vote
1answer
100 views

A counterexample to $Ae\simeq Ae^{\prime}\to A(1-e)\simeq A(1-e^{\prime})$

Let $e,e^{\prime}$ be two idempotents in a $k$- algebra $A$ ($k$ is a field) . Then my guess $Ae\simeq Ae^{\prime}$ (as a left $A$- module) does not imply $A(1-e)\simeq A(1-e^{\prime})$ in general, ...
0
votes
0answers
22 views

Clarification on the definition of truth

So I am learning about the Godel's theorem. My instructor define truth and falsity as something arbitrary. he define $f$ to be true is $f(x)$ is $1$ and if $f(x) = 0$, it is false. I still dont have a ...
2
votes
0answers
41 views

Polynomial decomposition

I've just recently learned about the neat algorithm that, given a polynomial $f$ finds (non linear) polynomials $h,g$ such that $$f = g \circ h \quad (1),$$ or decides that there are no such ...
2
votes
2answers
67 views

Zero mean but not a martingale

I am looking for a simple stochastic process which has zero mean for all $t\geq0$ but it is not a martingale. I been looking in to local martingales but having trouble keeping the mean zero for all ...
1
vote
3answers
67 views

Borel Sets which are not intervals

I am looking for an element of the Borel-sigma-algebra which is not an (open, closed, half-open,...) interval. Can someone provide any example or an algorithm to construct them?
0
votes
2answers
15 views

What would be an example that rank of a subgroup of a free group is greater than the rank of free group?

Let $G$ be a free group and $H$ be a subgroup of $G$. Then, $H$ is also a free group. Let $R_G,R_H$ be ranks of $G,H$ respectively. what would be an example that $R_H>R_G$?
2
votes
1answer
32 views

Constructing noncommutative nilpotent rings of given index

When I read about algebra I often see a certain disregard for examples or perhaps a disregard for a reader whose knowledge of examples is limited. When I'm interested in a property $p$ of an algebraic ...
1
vote
1answer
45 views

Atlases on the topological manifold $\mathbb R$

I have been trying to produce an example of two incompatible atlases on $\mathbb R$. But no success. Could someone help me please? All my example seem compatible. For example, $A_1 = \{((-\infty,1), ...
4
votes
4answers
107 views

What are non-obvious examples of measures obtained from linear functionals by the Riesz representation theorem?

In chapter two of Rudin's "Real and Complex Analysis" there is a "Riesz Representation Theorem" that dominates the chapter. My understanding of the statement of the thm. is that given a complex-valued ...
4
votes
3answers
57 views

Does a symmetric matrix $A^2$ imply a symmetric $A$?

Does a symmetric matrix $A^2$ imply a symmetric $A$? Any help would be much appreciated.
1
vote
1answer
34 views

Product Hilbert Spaces that require completion?

My lecturer said that to make the Hilbert space $(H\oplus H',⟨\cdot,\cdot⟩ )$ we need to (1) make the cartesian product $H \oplus H' = H\times H'$, (2) give it an inner product, and - the confusing ...
0
votes
1answer
54 views

Seeking a possible counterexample in probability.

I am trying to find a counterexample or prove the following: $\dfrac{Var\left(X_{n}\right)}{\left[EX_{n}\right]^{2}}\rightarrow0 , then \dfrac{X_{n}}{EX_{n}}\rightarrow1$ in probability. Assuming ...
0
votes
2answers
76 views

Suppose f : A ---> B and g : B ---> A are functions for which g o f = 1A…

If I were to suppose that $f : A \to B$ and $g : B \to A$ are functions for which $g \circ f = 1_A$, is $f$ always surjective and is $g$ always injective? How would I either prove this or counter it? ...
0
votes
1answer
29 views

Continuity and Subspace Topology

I think the first one is false. If we let $(-1/2, 1/2) \subset \Bbb R$ and $(0,1/4) \subset \Bbb R$, then for $f(x) = x$ defined on $[0,1) \subset M = \Bbb R$, we have $f^{-1}(-1/2, 1/2) = ...
0
votes
1answer
21 views

A net in a product space and its cluster point

Let $(X,\mathcal{T}_X)$ and $(Y,\mathcal{T}_Y)$ be two topological spaces. And let $Z=X\times Y$ be the product space equipped with the natural product topology $\mathcal{T}_Z$ on $Z$. Then, let ...
1
vote
1answer
32 views

Counterexample for existence of a minimiser in a variational problem

I'm trying to find an example of a minimisation problem of the form $$ \inf \{ J(u) := \int_{\Omega} f(x)|u(x)| + |\nabla u(x)|^2:\, u \in H^1, \, \int u = 1\}$$ with $\Omega$ an open and bounded ...
0
votes
1answer
35 views

Ring subset which absorbs but is not an additive subgroup

Are there any undegrad-level examples of ring subsets which possess absorbtion property (as in ideal definition) but are not ideals (i.e. are not additive subgroups)?
0
votes
1answer
66 views

Product of quotient maps and quotient space that is not Hausdorff

I am looking for easy(!) counterexamples that the product of two quotient maps is not necessarily a quotient map and that the quotient space of a Hausdorff space is not necessarily Hausdorff.
1
vote
1answer
38 views

Example of ring with two maximal ideals such that the char of the quotients is $0$, respectively $p$.

I am looking either for an example of a commutative ring with identity and two maximal ideals, such that the characteristic of one of the quotient rings is finite and the other characteristic is zero, ...
0
votes
1answer
32 views

Stuck trying to find unbounded $s_n$ with $\frac{1}{n}\sum_{k=1}^n s_k\rightarrow L$

I proved that if a sequence $(s_n)$ converges to a limit $s$ then so does its "average sequence," $(\sigma_n)$ with $\sigma_n=\frac{1}{n}\sum_{k=1}^n s_k$. I found a counterexample for the converse, ...
27
votes
0answers
470 views

Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...
2
votes
1answer
42 views

Example of a ring $R$ such that $R\otimes_R R\not\simeq R$

I want to show the following statement: If a ring $R$ is commutative and $I,J\triangleleft R$, then $$ R/I\otimes_R R/J\simeq R/(I+J). $$ I can easily show this, assuming that $1\in R$. What can be a ...
0
votes
2answers
46 views

Example of differentiable function with $f'(s_{n})=0$ but $f'(0)>0$

Ex: Give an example of a differential function $f:\mathbb{R} \rightarrow \mathbb{R}$ such that $0$ is a limit (accumulation) point of a sequence of critic points ($f'(x)=0$) and however $f'(0)>0$ ...
-2
votes
1answer
103 views

Is every subgroup of a simple group is itself simple [closed]

Is the statement True of false? Every subgroup of a simple group is itself simple.
0
votes
1answer
89 views

How to construct a smooth curve whose range is dense in $\mathbb R^2$?

How to construct a smooth curve $f: \mathbb R \to \mathbb R^2$ whose range is dense in $\mathbb R^2$? Space-filling curves are well-known, but they cannot be smooth. The image of a smooth ...
4
votes
1answer
92 views

A derivative which is not Lebesgue integrable on any interval?

If $f=x^2\sin(x^{-2})$, then $f'$ exists everywhere (including $x=0$) but $f'$ is not Lebesgue integrable on $[0,1]$ (precisely because of the singularity at $x=0).$ I'm trying to find a function $f$ ...
3
votes
1answer
48 views

Module over an associative ring with unity and axioms of projective geometry

According to Wikipedia(http://en.wikipedia.org/wiki/Projective_geometry#Axioms_of_projective_geometry), the axioms of projective geometry due to A. N. Whitehead are: G1: Every line contains at least ...
2
votes
1answer
52 views

Proving the derived set $E'$ is closed.

I was reading the proof in Rudin, but it uses the metric. Is this not true if $X$ is a general topological space and $E' \subset X$ (especially if it is not Hausdorff $T_1$)? I can't come up with a ...
0
votes
0answers
52 views

Bochner Integral vs. Lebesgue Integral

I'm trying to prove that for complex functions $f:\Omega\to\mathbb{C}$ that are not a priori measurable that: $$f\text{ Bochner integrable}\iff f\text{ Lebesgue integrable}$$ Basically it reduces to ...
0
votes
1answer
41 views
0
votes
1answer
58 views

Example of a locally compact metric space whose completion is not locally compact

Can someone suggest an example of a locally compact metric space whose completion is not locally compact?
4
votes
1answer
71 views

Are primitive row stochastic matrices diagonalizable?

Let $A$ be an $n \times n$ matrix with real, non-negative entries. Assume $A$ is primitive, meaning there exists an integer $k$ such that $A^k>0$ (here the inequality means all entries in $A$ are ...