Need help starting a proof about an infinite square grid.

Felixander
Messages
1
Reaction score
0
Hi, I need help with simply starting to prove this. I'm terrible with proofs and even the easy ones are hard for me. Any tips to get started in the right direction would be appreciated.

A city represented by an infinite square grid of blocks is on fire. Every day, the status of city block is either burned or okay. Due to winds from the northeast, the status of a city block on Day i is the majority of the statuses of (1) that block, (2) its immediate northern neighbor, and (3) its immediate eastern neighbor from Day i - 1. Prove the following claim: If on Day 0 there are only n okay blocks remaining in the city, the entire city will be burned by Day n + 1.
 
Physics news on Phys.org
I notice this was your first post, so hello and welcome to PF!

Now, I know you are anxious to prove this statement, but first I propose you think about a few questions.

First, since there are n < \infty, what would the best possible layout for those n blocks be--grouped, spread out, partially grouped, etc? Moreover, is their a worst-case for the best case scenario (this one specifically deals with n specifically.

Next, is it possible for all of the n blocks to have an "okay" neighbor to the north and to the east?

Finally, how many cases do you think you need to consider--is it possible to prove this by considering only 1 case?

All of these questions have answers so hopefully after you think about them and we talk you will not only have an idea where to start, but also how to prove it.

I look forward to what you think about these.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top