misurrosne

2022-06-25

Working out if a given relation is reflexive, symmetric or transitive (or all 3?)

On the set of integers, let š„ be related to š¦ precisely when $x\u0101\x89y$

On the set of integers, let š„ be related to š¦ precisely when $x\u0101\x89y$

1. Is this Reflexive?

2. Is this Symmetric?

3. Is this Transitive?

I'm also wondering if it can be multiple? I assume it can maybe be two but maybe not all 3.

To my understanding:

Reflexive is when each element is related to itself, I am not sure how to apply that to $x\u0101\x89y$? (Edit: If $x=3$ and $y=3$, then $x\u0101\x89y$, so it can't be reflexive as it would be an incorrect statement, so for not equals to it can never be reflexive from what I studied going back over notes)

Symmetric is when x is related to y, it implies that y is related to x (which may be fitting here as x is related to y when they don't equal each other?)

Transitive: When x is related to y, and y is related to z, then x is related to z (Not applicable here? Unsure)

I'm not sure if it's reflex as $x\u0101\x88\x88Z$ and $y\u0101\x88\x88Z$ (both are related to the set of integers), it could be symmetric as they are related when $x\u0101\x89y$ is the same as being related when $y\u0101\x89x$, then I'm not sure of transitive.

On the set of integers, let š„ be related to š¦ precisely when $x\u0101\x89y$

On the set of integers, let š„ be related to š¦ precisely when $x\u0101\x89y$

1. Is this Reflexive?

2. Is this Symmetric?

3. Is this Transitive?

I'm also wondering if it can be multiple? I assume it can maybe be two but maybe not all 3.

To my understanding:

Reflexive is when each element is related to itself, I am not sure how to apply that to $x\u0101\x89y$? (Edit: If $x=3$ and $y=3$, then $x\u0101\x89y$, so it can't be reflexive as it would be an incorrect statement, so for not equals to it can never be reflexive from what I studied going back over notes)

Symmetric is when x is related to y, it implies that y is related to x (which may be fitting here as x is related to y when they don't equal each other?)

Transitive: When x is related to y, and y is related to z, then x is related to z (Not applicable here? Unsure)

I'm not sure if it's reflex as $x\u0101\x88\x88Z$ and $y\u0101\x88\x88Z$ (both are related to the set of integers), it could be symmetric as they are related when $x\u0101\x89y$ is the same as being related when $y\u0101\x89x$, then I'm not sure of transitive.

Harold Cantrell

Beginner2022-06-26Added 21 answers

Step 1

You are correct, the relation is not relfexive.

Now, it is time to formally prove that.

To prove that it is not, you must prove that the statement "$\u0101\x89$ is a reflexive relation" is false.

First we use the definition of reflexivity to rewrite the above statement into: $\mathrm{\u0101\x88\x80}x\u0101\x88\x88Z:x\u0101\x89x$

Now, we must prove the above statement is false. Since the statement is of the type "$\mathrm{\u0101\x88\x80}x\u0101\x88\x88X:P(x)$", it is enough to find one value of x such that P(x) is not true (this value is then called the *counterexample). In your case, taking $x=3$ is perfectly OK, because $3\u0101\x893$ is false.

Step 2

Alternatively, you could just prove the negation of the statement. The negation is $\mathrm{\u0101\x88\x83}x\u0101\x88\x88Z:x=x$ this statement can be proven, because $x=3$ satisfies the relation $x=x$.

Step 2

For symmetry, you are correct that the relation is symmetric.

You can do this by proving the statement: $\mathrm{\u0101\x88\x80}x,y\u0101\x88\x88Z:x\u0101\x89y\phantom{\rule{thickmathspace}{0ex}}\u0101\x9f\xb9\phantom{\rule{thickmathspace}{0ex}}y\u0101\x89y$

Formally, can prove any statement of the type $\mathrm{\u0101\x88\x80}x,y\u0101\x88\x88A:P(x,y)\phantom{\rule{thickmathspace}{0ex}}\u0101\x9f\xb9\phantom{\rule{thickmathspace}{0ex}}Q(x,y)$ by:

Taking any two values $x,y\u0101\x88\x88A$

Assuming P(x, y) is true

From that, proving Q(x, y) must also be true.

You are correct, the relation is not relfexive.

Now, it is time to formally prove that.

To prove that it is not, you must prove that the statement "$\u0101\x89$ is a reflexive relation" is false.

First we use the definition of reflexivity to rewrite the above statement into: $\mathrm{\u0101\x88\x80}x\u0101\x88\x88Z:x\u0101\x89x$

Now, we must prove the above statement is false. Since the statement is of the type "$\mathrm{\u0101\x88\x80}x\u0101\x88\x88X:P(x)$", it is enough to find one value of x such that P(x) is not true (this value is then called the *counterexample). In your case, taking $x=3$ is perfectly OK, because $3\u0101\x893$ is false.

Step 2

Alternatively, you could just prove the negation of the statement. The negation is $\mathrm{\u0101\x88\x83}x\u0101\x88\x88Z:x=x$ this statement can be proven, because $x=3$ satisfies the relation $x=x$.

Step 2

For symmetry, you are correct that the relation is symmetric.

You can do this by proving the statement: $\mathrm{\u0101\x88\x80}x,y\u0101\x88\x88Z:x\u0101\x89y\phantom{\rule{thickmathspace}{0ex}}\u0101\x9f\xb9\phantom{\rule{thickmathspace}{0ex}}y\u0101\x89y$

Formally, can prove any statement of the type $\mathrm{\u0101\x88\x80}x,y\u0101\x88\x88A:P(x,y)\phantom{\rule{thickmathspace}{0ex}}\u0101\x9f\xb9\phantom{\rule{thickmathspace}{0ex}}Q(x,y)$ by:

Taking any two values $x,y\u0101\x88\x88A$

Assuming P(x, y) is true

From that, proving Q(x, y) must also be true.

Show that the sequence $a}_{n$ is an solution of the recurrence relation [a^n = a^nā1 + 2a^nā2 + 2n ā 9 if a] if

a^n = ān + 2

Why does a magnet always attract iron, not wood?

Why is $f(n)={n}^{3}$ not an onto function?

I was doing an example in a book where it asked which of these functions are one to one, the answer in the back said for $f(n)={n}^{3}$ that it is a one to one function. Then it asked which of the functions from the previous example are onto and $f(n)={n}^{3}$ was not included in the list of onto functions.

In a later example, a question asked which of these functions is a bijection, the answer included $f(x)={x}^{3}$

This is confusing because doesn't a function have to be both an onto and one to one to be a bijection? Why would the book say it was not a onto in a previous example yet declare it to be a bijection? Is the book wrong?What is the meaning of l.h.s and r.h.s?

Showing that if n is a natural number larger than 3, then $n!>{2}^{n}$

Showing that if n is a natural number larger than $3$, then $n!>{2}^{n}$

My try:

Base Case:

If $n=4$, then $4!>{2}^{4}$

$24>16$

So, the base case is true.

Assuming $P(k)$ is true.

$k!>{2}^{k}$

Now we need to show that $P(k+1)$ is true.

$(k+1)!={2}^{k+1}$

Proof:

$(k+1)!>(k+1)k!$

$\phantom{\rule{thickmathspace}{0ex}}\u0101\x9f\xb9\phantom{\rule{thickmathspace}{0ex}}(k+1){2}^{k}$

After this I have no idea how to solve further.

Can anyone explain how to continue.What type of material allows electrons to flow freely?

Conductor

Resistor

Hestitation

RegulatorA set X with cardinality X has how many elements in its power set (the set of all subsets of a set)?

a. $|x{|}^{2}$

b. $|X\u0106\x97X|$

c. ${2}^{|x|}$

d. $|X\u0101\x88\u0156X|$Why is the value of $\mathrm{\u013b\x80}$ is $\frac{22}{7}$?

Can a dot product of a permutation of n (1,-1) with a sequence of primes generate unique numbers?

According to Fundamental Theorem of Arithmetic any positive whole number is the product of primes. Therefore, I can create unique numbers by multiplying n primes.

If I have a list of length n generated by a finite sequence in the set 1,-1, e.g., (1,1,-1,-1,1,...), and I do a dot product with a sequence of n primes starting with 3, e.g., (3,5,7,11,13,...), do I have any guarantee that I will generate unique numbers by doing different permutations of 1s and -1s?

I know that I can't if my prime's sequence start with 2, $[1,1,\u0101\x88\x921]\u0101\x8b\x85[2,3,5]=[\u0101\x88\x921,\u0101\x88\x921,1]\u0101\x8b\x85[2,3,5]$, but I'm not sure for the cases where my sequence starts with higher primes.Maximize sum of paired products without replacement from {1,ā¦,2n}

Given {1,ā¦,2n}, how do you pair off the elements such that: when you multiply within each of the n pairs, the resulting products have maximal sum?

Here is an example: For $n=2$, this would mean pairing off elements of {1,2,3,4}, taking the product within each pair, and then adding all of those products up: where the goal is to maximize the resulting sum.

In this example, you could use:

$\{1,2\},\{3,4\}\u0101\x86\x921\u0101\x8b\x852+3\u0101\x8b\x854=2+12=14$

$\{1,3\},\{2,4\}\u0101\x86\x921\u0101\x8b\x853+2\u0101\x8b\x854=3+8=11$

$\{1,4\},\{2,3\}\u0101\x86\x921\u0101\x8b\x854+2\u0101\x8b\x853=4+6=10$

Since the pairwise product sums in this case are 14,11, and 10, we find that the maximum is 14. In particular, the maximum occurs when we pair off consecutive numbers. I suspect that the consecutive pairing may always be optimal (and that pairing first with last, second with second to last, etc may always result in the minimal pairwise product sum).

I'm not sure how to prove (or disprove!) this, and would appreciate a proof or a pointer to one. I suspect this problem has already been considered, so I include a ref-req tag as there may be terminology unfamiliar to me. If there are generalizations of this problem (e.g., starting with a set other than the first consecutive 2n positive integers) then related references will be most welcome, too!Compute summation of modules expression?

In particular, what I want to look at is the sum

$\underset{k=1}{\overset{n}{\u0101\x88\x91}}(pk\phantom{\rule{1em}{0ex}}(\mathrm{mod}\phantom{\rule{0.333em}{0ex}}q))$

where $p,q\u0101\x88\x88{\mathbb{Z}}_{\u0101\x89\u201e1}$ can be assumed to be coprime but it would be best if solved in the fullest generality. In the above expression, n is a variable, p,q are fixed, and a(modb) means taking the representative set $\{0,1,2,...,b\u0101\x88\x921\}$. For example, $7\phantom{\rule{0.444em}{0ex}}(\mathrm{mod}\phantom{\rule{0.333em}{0ex}}3)=1$ is the only value we agree upon and $7\phantom{\rule{0.444em}{0ex}}(\mathrm{mod}\phantom{\rule{0.333em}{0ex}}3)\u0101\x89\u0101\x88\x922$.

The problem with this is that the list of representatives are permuted by p and hence the methods presented in the initial link are no longer valid.

It would be nice if we can come up with a closed form, but a really tight upper bound of the expression also works.Counting words of length n from k-sized alphabet with no substring of k consecutive distinct letters

How many words of length n are there, if we have an alphabet of k distinct letters, but the words cannot contain any substring that is made of k consecutive distinct letters, i.e, no k-length substring that consists of the entire alphabet?

Other than that, no restrictions apply: any amount of distinct letters may be used throughout the entire word, and any letter can be used as many times as we like, as long as every substring inside the length n word complies with the rules above.

There is the obvious case of $k=2$ which results in 2 words, for every n, because you can only start with either letter, and they alternate.

For the larger case, I have come up with a recursive formula:

$C(n,k)=f(0,0,k)$

$f(i,d,k)=\{\begin{array}{ll}{\displaystyle (k\u0101\x88\x92d)\u0101\x8b\x85f(i+1,d+1,k)+\underset{c=1}{\overset{d}{\u0101\x88\x91}}f(i+1,c,k)}& i<n,d<k\\ 1& i=n,d<k\\ 0& i>n\\ 0& d\u0101\x89\u201ek\end{array}$

With d being the current length of consecutive distinct letters, and i the current word length.

At every step, we can either use a letter other than the previous d letters, in which case the length is increased by one, and the chain-length d of distinct consecutive letters is also increased by one. In this case, there are $(k\u0101\x88\x92d)$ such letters we can use at the stage, each subsequently resulting in the same contribution.

Or, we can use a letter already in the last d letters. In this case, the position of the letter matters. If we use the last of the d letters, a whole new chain begins. If instead we use the second last d letter, then a chain of length 2 of consecutive distinct letters begins. The 3rd last would result in a chain of length 3 and so on.

I was wondering if there is a another way to count the amount of such words, perhaps using matrices or combinatorics?Maximum number of edges in a graph satisfying conditions

There is a graph with 40 vertices. It is known that any edge has at least one endpoint, on which no more than four other edges are incident. What is the maximum number of edges that this graph can have? No multiple edges or loops are allowed.For each value for a and b, being real numbers, ${a}^{2}+{b}^{2}\u0101\x89\u201eab$

Should I solve this by replacing all possible real number formulas in these to be able to prove this? As an example for odd numbers, by replacing $2x+1$, etc...?Representative Set for Relation S on $\mathbb{N}\u0101\x86\x92\{0,1\}$ s.t. $\u0101\x9f\xd8f,g\u0101\x9f\copyright \u0101\x88\x88S\phantom{\rule{thickmathspace}{0ex}}\u0101\x9f\u0157\phantom{\rule{thickmathspace}{0ex}}\mathrm{\u0101\x88\x83}$ bijection $h:\mathbb{N}\u0101\x86\x92\mathbb{N}$ s.t.$f=g\u0101\x88\x98h$

Problem: Define a relation S on $\mathbb{N}\u0101\x86\x92\{0,1\}$ as follows:$\u0101\x9f\xd8f,g\u0101\x9f\copyright \u0101\x88\x88S\phantom{\rule{thickmathspace}{0ex}}\u0101\x9f\u0157\phantom{\rule{thickmathspace}{0ex}}$ there exists a bijection $h:\mathbb{N}\u0101\x86\x92\mathbb{N}$ s.t. $f=g\u0101\x88\x98h$.

S is an equivalence relation on $\mathbb{N}\u0101\x86\x92\{0,1\}$ (no need to prove this). Write a Representative set for the relation S. There's no need to prove that the relation you wrote is indeed a Representative set.

Reminder: Suppose $T\u0101\x8a\x86X\u0106\x97X$ is an equivalence relation over X. $\text{\u0100}\text{\u0100}A\u0101\x8a\x86X$ will be called a Representative set of T, if it occurs that: $\mathrm{\u0101\x88\x80}x\u0101\x88\x88X.|[x{]}_{T}\u0101\x88\copyright A|=1$.

Attempt: I don't really know what Representative set to define. It seems to me I'm missing something simple here. I tried to look at the functions: ${f}_{1}(n)=0,{f}_{2}(n)=1,{f}_{3}(n)=\{\begin{array}{ll}0& \text{n=0}\\ 1& \text{else}\end{array}$, ${f}_{4}(n)=\{\begin{array}{ll}0& n\u0101\x88\x88{\mathbb{N}}_{even}\\ 1& n\u0101\x88\x88{\mathbb{N}}_{odd}\end{array},\mathrm{\u0101\x88\x80}n\u0101\x88\x88\mathbb{N}$. None of these functions relate through relation S since there does not exist a bijection between them. I feel lost, do you have any idea what to do?