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)

0
votes
1answer
89 views

Changes in the hypotheses of a mean-value theorem

For $X \subset \mathbb{R}^d$ open, we define $$ C^1(X) := \left \{ f : X \to \mathbb{C} : f \text{ is a function s.t. } \frac{\partial f}{\partial x_j} \text{ exists and is continuous for } j = 1, 2, ...
1
vote
2answers
69 views

Category In Which Not All Free Objects Exists

I am trying to think of a category in which not all free objects exists. I thought this might be the case in sets (I thought I might be able to violate the uniqueness ) but I couldn't get anywhere so ...
1
vote
0answers
68 views

Maximal monotone operator without convex domain?

I'm looking for an example of a (multi-valued) maximal monotone operator $A$ mapping a Banach space $X$ into its dual $X^*$ such that the domain $D(A)=\{x\in X: Ax\neq\emptyset\}$ is not convex. ...
2
votes
1answer
41 views

Non-isomorpic uncountable dense linear orderings (a textbook example)

We know that two countable dense open orderings are isomorphic, and we know that this is generally not true for uncountable structures. Now I quote from the textbook, that is "Model-Theoretic Logics": ...
4
votes
3answers
226 views

Does Gödel's Completeness Theorem still hold even if the set of variables is finite?

Let $L$ be a first order language with a finite set of variables. Let $T$ be a consistent set of formulas of $L$. Does it follow that there exists a model for $T$?
1
vote
0answers
23 views

WHat is an example of a countable subset of $[0,1]$ whose Jordan content is 1 and Lebesgue measure is 0?

E.Stein Real analysis p.41 Exhibit a countable subset $E\subset [0,1]$ such that $J(E)=1$ while $m*(E)=0$. Here, $m*$ denotes the outer Lebesgue measure and $J$ denotes the Jordan content. ...
6
votes
3answers
56 views

Counterexamples for Hölder's inequality when $p$ and $q$ are not conjugate.

Hölder's inequality shows that, when $$ \frac{1}{p} + \frac{1}{q} = 1,$$ and $f\in L^p$ and $g\in L^q$, then $$\Vert f\,g\Vert_1 \le \Vert f \Vert_p \Vert g \Vert_q.$$ Is there an example of this ...
0
votes
0answers
27 views

Distributive lattices (interpretation of distributivity)

Simple counter example Ok, there is a very simple counter-example ^^ : This lattice isn't distributive, because $M=x\wedge(a\vee b)=x>0=(x\wedge a)\vee(x\wedge b)=m$, but for all $n<N$ the ...
3
votes
2answers
217 views

Matrix multiplication question (diagonal matrices)

Suppose $AB = BA$ and $A^2+B^2 = I$, where A and B are complex matrices. My feeling is that this implies that both A and B are diagonal matrices. But I'm having trouble proving it. Appreciate any ...
2
votes
1answer
40 views

Smallest Graph that is Regular but not Vertex-Transitive?

I'm trying to find the smallest graph that is regular but not vertex-transitive, where by smallest I mean "least number of vertices", and if two graphs have the same number of vertices, then the ...
0
votes
1answer
22 views

Function differentiable at one point and nowhere else continuous.

Is it possible to construct such a function? Just wondering. Specifically, I am thinking of $f:\mathbb{R}\to\mathbb{R}$ such that $f'(0)$ exists and $f$ is discontinuous for all ...
1
vote
1answer
36 views

A characterization for subgroups.

Let $G$ be a group and $a_0,a_1,...,a_n\in G$ and $$A=\{a_0,a_1,...,a_n\}$$ and $$(\forall m\le n)(\forall i\le m)(a_{i}a_{m-i}\in A)$$ Is $A$ a subgroup of $G$? How if $G$ is abelian?
0
votes
1answer
20 views

Blowup of ODEs in the presence of local Lipschitzianity?

Pardon me if the question is trivial, but I am failing to decide it. Assume that we are given an ODE system $\dot{x} = f(x)$ with positive initial conditions $x(0)$ and know that $f$ is locally ...
1
vote
2answers
49 views

Give an example of a non-separable subspace of a separable space

I'm trying to find an example of a non-separable subspace of a separable space. What kind of examples are there?
3
votes
2answers
63 views

A topological space which is Frechet but not Strictly-Frechet.

Let $X$ be a topological space and $q \in X$. $X$ is strictly Frechet at $q$, if, for all $A_n \subset X, q \in \bigcap_{n \in \omega} \overline {A_n}$ implies the existence of a sequence $q_n \in ...
0
votes
1answer
66 views

What would be an example such that $aH=bH$ but $Ha \neq Hb$?

Let $H$ be a subgroup of a group $G$. Assume $aH=bH$ for some $a,b\in G$ What would be an example such that $Hb\neq Ha$? I cannot imagine what would be.. Moreover, if $H$ is infinite, ...
3
votes
0answers
64 views

Smash products of pointed spaces is really not associative

The canonical bijective map $\mathbb{N} \wedge (\mathbb{Q} \wedge \mathbb{Q}) \to (\mathbb{N} \wedge \mathbb{Q}) \wedge \mathbb{Q}$ is not an isomorphism of pointed spaces (i.e. homeomorphism), see ...
1
vote
1answer
55 views

Counterexample for Hartogs' Extension Theorem

I'll refer to Hartogs' Extension Theorem as it is stated in Wikipedia (https://en.wikipedia.org/wiki/Hartogs%27_extension_theorem#Formal_statement). I am trying to find a counterexample to show that ...
3
votes
3answers
99 views

Give an example of non-normal subspace of a normal space.

We know that a closed subspace of normal space is normal. My question was: why should other subspaces not work and then i came up with a counterexample. It is peculiar that any subspace of regular ...
3
votes
1answer
55 views

Function in $H^1$, but not continuous

By the Sobolev embedding theorem, if $\Omega$ is bounded, $H^s(\Omega)\subset C(\Omega)$ for $s>1$, in $\mathbb R^2$. Where I can find a counterexample (if one exists) for the case $s=1$? I mean a ...
0
votes
1answer
58 views

Example of a Riemann integrable function which is not a simple function

I'm looking for an example of a Riemann integrable function which isn't simple? I know that all simple functions $f: I \rightarrow E $ ( where $I \subset \mathbb{R}$ is an interval and $E$ is a ...
1
vote
1answer
85 views

Example of two finitely isomorphic structures (or $\omega$-isomorphic) that are not partially isomorphic?

One can define several maps between given structures in order to portray similarities or differences. The concept of isomorphism displays a deep structural overlapping, while for instance an ...
2
votes
4answers
59 views

I have a conjecture on local max/min , can any of you propose a contradiction?

If $f$ is a non-piecewise function defined continuous on an interval $I$, and within that interval $I$, there exists a value $x$, such that $f`(x)$ (derivative of $f$) does not exist , then at that ...
0
votes
1answer
24 views

Sperners lemma how to mark internal vertices

Was reading sperners lemma from this http://www.math.hmc.edu/funfacts/ffiles/20001.4.shtml Couldn't understand certain things How to mark internal vertices? I could have mark some other number for ...
0
votes
0answers
31 views

Non-subdifferentiable convex function

Is there any convex function $f$ on a norm space $X$ such that $\partial f(x)=\emptyset$ at every $x\in X$? Thanks in advance.
6
votes
2answers
131 views

Closed, orientable surface whose genus is very hard to find intuitively

I'm introducing the Classification Theorem on closed and orientable surfaces in a talk on (intuitive) topology, and to motivate it I'd like an example of an embedding of a surface in $\mathbb{R}^3$ ...
0
votes
0answers
41 views

Reference request: An example of a false conjecture with a very large number as the first counter example

I recall that there was some conjecture, something that I believe involved prime numbers, and was believed to be true (as it was checked up to a relatively large number) until a counter example was ...
0
votes
2answers
33 views

Lipschitz does not imply fixed points

I have the following problem in mind: Let us say we have a function $f:X\rightarrow X$ (X is a complete metric space) and it respects that if $x\neq y$ then : $d(f(x),f(y))<d(x,y)$. My trouble ...
4
votes
1answer
65 views

Violation of the irrelevant alternative criterion of fairness in a pairwise comparison

I am teaching my students about the fairness criteria for voting system, working up towards arrow's impossibility theorem. One of the voting methods is called the pairwise comparison method: voters ...
6
votes
1answer
66 views

Inner Product on a Vector Space over a field besides $\mathbb R$ or $\mathbb C$?

Are there any fields with vector spaces you can define an inner product over besides subfields of $\mathbb C$? I know that you'd want the field to contain an ordered subfield, so it must have ...
1
vote
1answer
47 views

Example of $\sum_i a_i\otimes b_i\in M\otimes_AN$ which cannot be written as $a\otimes b$

In the appendix of my commutative algebra text: Note that in general the element of $M\otimes_AN$ is a sum of the form $\sum_i a_i\otimes b_i$ and cannot be necessarily written as $a\otimes b$. ...
17
votes
2answers
329 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 ...
1
vote
2answers
218 views

What is $\sum_{n=0}^{\infty}|a_nz^n|^2=\frac{1}{2 \pi}\int_{-\pi}^{\pi}|f(ze^{it})|^2dt$ for?

Let $f : \mathbb C\rightarrow \mathbb C$ be an analytic function : $f(z)= \sum a_n z^n$ It holds that $$a_n z^n= \frac{1}{2 \pi}\int_{-\pi}^{\pi}f(ze^{it})e^{-int}dt$$ and ...
5
votes
3answers
125 views

Peculiar examples to the Stone Representation Theorem

The Stone Representation theorem states that every Boolean algebra is isomorphic to a field of sets. That is, a Boolean algebra whose elements are sets, and sums, products, negation are union, ...
4
votes
4answers
920 views

Example of two open balls such that the one with the smaller radius contains the one with the larger radius.

Example of two open balls such that the one with the smaller radius contains the one with the larger radius. I cannot find a metric space in which this is true. Looking for hints in the right ...
0
votes
1answer
16 views

A non-closed $p$-group.

Are there a Hausdorff topological group $(G,\mathcal T)$ and and a non-closed $p$-group $P\le G$ ? a $p$-group where $p$ is a prime number, is a group $P$ such that $$(\forall a\in P)(\exists n\in ...
1
vote
2answers
73 views

Sigma-algebra requirement 3, closed under countable unions.

The requirement for sigma-algebra is that. It contains the empty set. If A is in the sigma-algebra, then the complement of A is there. 3. It is closed under countable unions. My question relates ...
2
votes
1answer
59 views

A question about polynomials in $K[x_1,x_2,…,x_n]$ and there permutations

Let $K$ be a field. Let $n$ be a positive integer and $P$ be a non-symmetric polynomial in $K[x_1,x_2,...,x_n]$. $S_n$ acts on $K[x_1,...,x_n]$ in an obvious way. Let $P_1,P_2,...,P_r $ be the ...
3
votes
1answer
56 views

Does $X=[0,\omega_1]$ satisfy $S_1(\Omega,\Omega)$?

Definition: An $\omega$-cover of a topological space $X$, is an open cover $\mathcal U$, such that, for any finite set $C \subset X$, there exists an open set $U \in \mathcal U$, such that, $C \subset ...
0
votes
1answer
26 views

Square of absolute value of a function different than square of function

How come if f is measurable, we might have $|f|^2\neq f^2$? Can you provide an example? I think it is true if f is real.
0
votes
1answer
47 views

Counterexample of Separation Theorem in topological vector space

The Separation Theorem states that: If $A$ and $B$ be two disjoint convex subsets in a vector space $X$ and one of them has nonempty core (algebraic interior) then there exists a linear functional ...
0
votes
1answer
34 views

Closed, bounded and convex subset in $X^*$ but not $w^*$ closed.

Banach-Alaoglu states that: If $X$ is a topological vector space then the polar of any neighborhood of the origin is $\sigma(X^*,X)$ compact. Especially, if $X$ is a norm linear space then the closed ...
4
votes
1answer
59 views

Groups of order $p^aq^br^c$ containing elements of order $pq$, $qr$, and $pr$, but not $pqr$

Let $G$ be a solvable group of order $p^aq^br^c$ (for distinct prime $p,q,r$) containing elements of orders $pq$, $qr$, and $pr$, but no element of order $pqr$. Furthermore, assume that $G$ is ...
0
votes
1answer
34 views

Convex function that has a finite limit at infinity

Can someone give me an example for a convex function that has a finit limit at infinity ?
1
vote
1answer
27 views

The space with countable complement topology (example 20 in “Counterexamples in topology”)

As a continuation to this question: Given the space of countable complement topology on $X$, where $X$ is an uncountable set. (example 20 in "Counterexamples in topology"). We know that $X$ is not ...
0
votes
1answer
39 views

Indiscrete rational extension for $\mathbb R$ (examp 66 in “Counterexamples in topology”)

As a continuation to this question: Let $X$ be the Indiscrete rational extension for $\mathbb R$ (examp 66 page 88 in "Counterexamples in topology"). Let $\langle \mathcal{U}_n: n \in \mathbb{N} ...
0
votes
0answers
22 views

An example of a Lindelöf topological space which is not $\sigma$-compact

I am looking for an example of a Lindelöf topological space which is not $\sigma$-compact. I have looked in Counterexamples in Topology, but, if I am not wrong, all the examples there which meet my ...
0
votes
3answers
49 views

Discrete HW Question

Show that For all sets A and B, $A^{C} \cup B^{C} \subset (A \cup B)^{C}$ is false by a counterexample.
2
votes
0answers
50 views

intersection of locally compact Hausdorff topologies.

Are there locally compact Hausdorff topologies $\mathcal T, \mathcal S$ on a set $X$, such that $\mathcal T\cap \mathcal S$ is a Hausdorff but not locally compact topology on $X$?
1
vote
1answer
38 views

Condition to separability of a Banach space.

I am trying to prove the following statement: Let X be a Banach space and $X^{*}$ its topological dual space. If there exists a countable family of functions $(f_{n})_{n} \subset X^{*}$ such that ...