# Are questions of the following form “real questions”?

Of late, I've been finding myself increasingly interested in questions of the form: "Suppose we change this definition in the following way. Does this change break anything?" For instance, suppose we change the definition of a metric space so that $(X,d)$ can be a metric space even when $d$ is defined for values outside $X^2$. So we can say... "Suppose $X \subseteq Y$ and $(Y,d)$ is a metric space. Then $(X,d)$ is a metric space." Would this break anything?

My question is, are questions of the form "would this break anything?" considered to be "real questions"? Is there perhaps a better website for this sort of thing?

-

2
I am not sure about this particular question, because any introduction to metric spaces states the fact that any subset is also a metric space in precisely this sense. // In general, it would be nice if a question indicated in which direction your thoughts are going. Remember the basic criterion: if someone reads your question and another user's reply to it, they should be able to tell whether the reply actually answers the question. – user53153 Jan 25 at 5:53
Technically you have to restrict $d$ to $X$, forming a new metric $d|_X$. So $(X,d|_X)$ is a metric space, but $(X,d)$ maybe isn't. – user18921 Jan 25 at 5:56

2
I think the issue here is with the formalism. The notation $(Y,d)$ typically indicates that $d$ is defined on $Y\times Y$, so if this is the convention, there is abuse of notation in saying that $(X,d)$ is a metric space. Of course, some authors define things so, as long as the domain of $d$ contains $X\times X$, the notation $(X,d)$ is fine. But the point here is that whatever formalism is chosen, it is a convention, while the "real idea" is something else. – Andres Caicedo Jan 25 at 5:58
What is a query that produces examples of these kinds of questions? I've seen many before and asked some myself but I'm having trouble finding more with a search. I think some examples could create a common ground for discussion. – Dan Brumleve Jan 25 at 6:06
– Rahul Narain Jan 25 at 6:58

2
Jarrell: I thought you said to stay on the path! Old Man: Yes, but you must know when to break the rules! – draks ... Jan 25 at 21:21

## 1 Answer

Not only are these real questions, but these are precisely the sort of questions you will find yourself asking more and more as your understanding of a subject deepens.

Perhaps talking of "breaking" anything is not quite how I would phrase it myself, but the point remains: To understand a subject, you need to understand how its components fit together, whether their connections are tenuous or withstand some modifications.

In particular, doing research this is actually done all the time: You attempt to modify an argument, and see where problems may appear, and how can they be fixed, and how far this process can go.

-
I'm in total agreement. Is the soft-question tag appropriate in this sort of case? – Dan Brumleve Jan 25 at 5:54

2
@Dan, I think that tag is for questions with no significant mathematical content (I may be wrong about that), whereas the kind of question we are talking about can have lots of math content. – Gerry Myerson Jan 25 at 5:56
@Gerry the tag is described as being "for questions which admit no definitive answer" so perhaps its definition is too broad. – Dan Brumleve Jan 25 at 5:57

2
@Dan: "Would this break anything" admits definitive answers, in principle. The answer is either "Yes, it breaks some things" or "No, it doesn't break anything." – Willie Wong♦ Jan 25 at 9:00

2
@Willie, I think breakage is subjective. – Dan Brumleve Jan 25 at 9:15
@Dan, perhaps what the tag says $\ne$ how we actually use it. Have you looked at many questions with that tag, to get some sense of m.se practice? – Gerry Myerson Jan 25 at 11:40
@DanBrumleve At least it presents the question "does there exist something satisfying my new definition that does not satisfy the old definition?" – Alexander Gruber Feb 1 at 14:00
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9504384398460388, "perplexity_flag": "middle"}